Research Catalog

Decidability and generalized quantifiers

Title
Decidability and generalized quantifiers / von Andreas Baudisch ... [et al.].
Publication
Berlin : Akademie-Verlag, 1980.

Details

Additional Authors
Baudisch, Andreas.
Description
xii, 235 p. : ill.; 25 cm.
Series Statement
Mathematical research. Mathematische Forschung ; \Bd. 3\3\
Subject
  • Abelian groups
  • Gödel's theorem
  • First-order logic
Note
  • Includes index.
Bibliography (note)
  • Bibliography: p. 220-229.
Call Number
JSK 81-109 Bd.3
OCLC
138728865
Title
Decidability and generalized quantifiers / von Andreas Baudisch ... [et al.].
Imprint
Berlin : Akademie-Verlag, 1980.
Series
Mathematical research. Mathematische Forschung ; \Bd. 3\3\
Bibliography
Bibliography: p. 220-229.
Added Author
Baudisch, Andreas.
Research Call Number
JSK 81-109 Bd.3
View in Legacy Catalog