Decidability and generalized quantifiers
By: von Andreas Baudisch [and others]
Series: Mathematical research = Mathematische Forschung -- Bd. 3; Mathematical research -- Bd. 3.
Publisher: Akademie-Verlag
Published: 1980
Place of publication: Berlin
Language: eng
Number of pages: 235
Subjects: Abelian groups; Gödel's theorem; First-order logic
Notes: Includes index.

Bibliography: p. 220-229.