Exemplaires: Mathematical interpretation of formal systems

Enregistré dans:

Détails bibliographiques
Auteurs principaux :	Skolem Thoralf (Auteur), Hasenjaeger Gisbert (Auteur), Kreisel Georg (Auteur), Symposium on mathematical interpretation of formal systems
Collectivités auteurs :	Symposium on mathematical interpretation of formal systems 1954 Amsterdam (Auteur), Wiskundig genootschap Pays-Bas (Organisateur de réunion)
Format :	Livre
Langue :	anglais français
Titre complet :	Mathematical interpretation of formal systems / Th. Skolem, G. Hasenjaeger, G. Kreisel,... [et al.]
Édition :	Second edition
Publié :	Amsterdam [etc.] : North-Holland Publishing Company , 1971
Description matérielle :	1 vol. (VIII-113 p.)
Collection :	Studies in logic and the foundations of mathematics
Sujets :	Logique mathématique Actes de congrès

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌	Cote	Prêt	Statut
Bibliothèque	03C70	Prêt sans prolongation	Disponible