TY  - BOOK
AU  - Skolem,Th
ED  - Wiskundig Genootschap (Netherlands)
TI  - Mathematical interpretation of formal systems
T2  - Studies in logic and the foundations of mathematics
SN  - 9780444533814
AV  - QA9 .W72 1955
U1  - 164 
PY  - 1955///
CY  - Amsterdam
PB  - North-Holland Pub. Company
KW  - Logic, Symbolic and mathematical
KW  - fast
KW  - Electronic books
N1  - "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."; Bibliography: pages 112-113; Peano's axioms and models of arithmetic / Th. Skolem -- On definability and derivability / G. Hasenjaeger -- Models, translations and interpretations / G. Kreisel -- Ordered structures and related concepts / Abraham Robinson -- On denumerable bases of formal systems / Hao Wang -- Representation theorem for cylindrical algebras / L. Henkin -- Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres / Jerzy Loś; Electronic reproduction; [S.l.]; HathiTrust Digital Library; 2010
UR  - http://www.sciencedirect.com/science/book/9780444533814
ER  -