Decidability and generalized quantifiers

An edition of Decidability and generalized quantifiers (1980)

Decidability and generalized quantifiers

By Andreas Baudisch

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1980

Publisher

Akademie-Verlag

Language

eng

Pages

235

Description:

subjects: Abelian groups, Gödel's theorem, First-order logic, Decidability (Mathematical logic)