Mathematical interpretation of formal systems

Gardado en:
Detalles Bibliográficos
Auteurs principaux: Skolem, Thoralf, 1887-1963 (Auteur), Hasenjaeger, Gisbert, 1919-2006 (Auteur), Kreisel, Georg, 1923-2015 (Auteur)
Autor Corporativo: Symposium on mathematical interpretation of formal systems :Amsterdam
Formato: Livre papier
Idioma:Anglais
Français
Publicado: Amsterdam [etc.] : North-Holland Publishing Company 1971.
Edición:Second edition.
Series:Studies in logic and the foundations of mathematics
Sujets:
Nota: Contributions en anglais ou en français
Communications faites lors du "symposion [sic] on Mathematical interpretation of formal systems" organisé par le Wiskundig Genootschap (Mathematical Society) à Amsterdam les 9 et 10 septembre 1954
Autres localisations: Voir dans le Sudoc
Descripción
descrición da copia:Contributions en anglais ou en français
Communications faites lors du "symposion [sic] on Mathematical interpretation of formal systems" organisé par le Wiskundig Genootschap (Mathematical Society) à Amsterdam les 9 et 10 septembre 1954
Descrición Física:1 vol. (VIII-113 p.) ; 23 cm.
Bibliografía:Bibliogr. en fin de chapitres
ISBN:0720422264