Mathematical interpretation of formal systems

著者

• Wiskundig Genootschap (Netherlands)
• Skolem, Th. (Thoralf)

書誌事項

Mathematical interpretation of formal systems

Th. Skolem ... [et al.]

（Studies in logic and the foundations of mathematics）

North-Holland Pub. Co., 1971

2nd ed

注記

"Contains the lectures, held at the symposion on Mathematical interpretation of formal systems which was organized by the Wiskundig Genootschap (Mathematical Society) at Amsterdam on September 9 and 10, 1954."

English or French

Includes bibliographical references

• NII書誌ID(NCID): BA49891419
• ISBN:
  • 0720422264
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: engfre
• 出版地: Amsterdam
• ページ数/冊数: viii, 113 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA9
  • DC : 511/.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• 親書誌ID:
  • BA00099329