Mathematical interpretation of formal systems

Salvato in:
Dettagli Bibliografici
Autori principali: Skolem, Thoralf, 1887-1963 (Autore), Hasenjaeger, Gisbert, 1919-2006 (Autore), Kreisel, Georg, 1923-2015 (Autore)
Ente Autore: Symposium on mathematical interpretation of formal systems :Amsterdam
Natura: Livre papier
Lingua:Anglais
Français
Pubblicazione: Amsterdam [etc.] : North-Holland Publishing Company 1971.
Edizione:Second edition.
Serie:Studies in logic and the foundations of mathematics
Soggetti:
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

Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)

Dettagli sul posseduto da Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
Note: A demander à la BU Sciences
  Localizzazione Collocazione Type de prêt Status
Salle de lecture 1981 SKO Prêt sous conditions Disponibile