Mathematical interpretation of formal systems

Author(s)

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

Bibliographic Information

Mathematical interpretation of formal systems

Th. Skolem ... [et al.]

（Studies in logic and the foundations of mathematics）

North-Holland Pub. Co., 1971

2nd ed

Note

"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

Details

• NCID: BA49891419
• ISBN:
  • 0720422264
• Country Code: ne
• Title Language Code: eng
• Text Language Code: engfre
• Place of Publication: Amsterdam
• Pages/Volumes: viii, 113 p.
• Size: 23 cm
• Classification:
  • LCC : QA9
  • DC : 511/.3
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• Parent Bibliography ID:
  • BA00099329