Decidability and generalized quantifiers

Author(s)

• Baudisch, Andreas

Bibliographic Information

Decidability and generalized quantifiers

von Andreas Baudisch ... [et al.]

（Mathematical research = Mathematische Forschung, Bd. 3）

Akademie-Verlag, 1980

Note

Bibliography: p. 220-229

Includes indexes

Details

• NCID: BA00588289
• LCCN: 81105261
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xii, 235 p.
• Size: 24 cm
• Classification:
  • LCC : QA9.65
  • DC19 : 511.3
  • NDC8 : 410.96
• Subject Headings:
  • LCSH : Decidability (Mathematical logic)
  • LCSH : Predicate calculus
• Parent Bibliography ID:
  • BA00289776