Completeness properties of classical theories of finite type and the normal form theorem

Author(s)

• Päppinghaus, Peter

Bibliographic Information

Completeness properties of classical theories of finite type and the normal form theorem

Peter Päppinghaus

（Rozprawy matematyczne, 207）

Paʹnstwowe Wydawn. Nauk., 1983

Note

Bibliography: p. [62]

***遡及データをもとにした流用入力である

Details

• NCID: BA38976961
• ISBN:
  • 8301026391
• LCCN: 84112328
• Country Code: pl
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Warszawa
• Pages/Volumes: 66 p.
• Size: 24 cm
• Classification:
  • LCC : QA1
  • LCC : QA9.7
  • DC19 : 510 s
  • DC19 : 511/.8
• Subject Headings:
  • LCSH : Model theory
  • LCSH : Proof theory
• Parent Bibliography ID:
  • BA17301060