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., 1955

Note

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

English or French

Includes bibliographical references

Details

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