Mathematical interpretation of formal systems
Collection : Studies in logic and the foundations of mathematics Détails physiques : 1 online resource (viii, 113 pages) ISBN :9780444533814; 0444533818.
|
Electronic books.
|
Logic, Symbolic and mathematical.
"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.
Description based on print version record.
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ś.
Use copy Restrictions unspecified star MiAaHDL
Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
http://purl.oclc.org/DLF/benchrepro0212
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Il n'y a pas de commentaire pour ce document.