Mathematical interpretation of formal systems
Enregistré dans:
Auteurs principaux : | , , , |
---|---|
Collectivités auteurs : | , |
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 : |
Notes : | 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 |
---|---|
Bibliographie : | Bibliogr. en fin de chapitres |
ISBN : | 0-7204-2226-4 |