Definable quantifiers in second order arithmetic and elementary extensions of ω-models

著者

• Guzicki, Wojciech
• Instytut Matematyczny (Polska Akademia Nauk)

書誌事項

Definable quantifiers in second order arithmetic and elementary extensions of ω-models

Wojciech Guzicki

（Dissertationes mathematicae, 208）

Państwowe Wydawn. Naukowe, 1983

• : pbk

注記

At head of title: Polska Akademia Nauk, Instytut Matematyczny

Bibliography: p. [50]-51

• NII書誌ID(NCID): BA72942350
• ISBN:
  • 8301027207
• LCCN: 84146474
• 出版国コード: pl
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Warszawa
• ページ数/冊数: 55 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA1
  • LCC : QA9.7
  • DC19 : 510 s
  • DC19 : 511/.8
• 件名:
  • LCSH : Predicate calculus
  • LCSH : Model theory
• 親書誌ID:
  • BA00831274