Grundzüge der mathematischen logik / Heinrich SCHOLZ (1961)

Public ISBD Titre : Grundzüge der mathematischen logik Type de document : texte imprimé Auteurs : Heinrich SCHOLZ, Auteur ; Gisbert HASENJAEGER, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1961 Collection : Grundlehren der mathematischen wissenschaften, ISSN 0072-7830 num. 106 Importance : XV-504 p. Langues : Allemand Catégories : 03-xx Mots-clés : logique mathématique Note de contenu : index, bibliogr. Grundzüge der mathematischen logik [texte imprimé] / Heinrich SCHOLZ, Auteur ; Gisbert HASENJAEGER, Auteur . - Berlin : Springer-Verlag, 1961 . - XV-504 p.. - (Grundlehren der mathematischen wissenschaften, ISSN 0072-7830; 106) . Langues : Allemand Catégories : 03-xx Mots-clés : logique mathématique Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
88	SCH/02/1551	Livre	Recherche	Salle	Disponible

Mathematical interpretation of formal systems / Th. SKOLEM (Cop. 1955)

Public ISBD Titre : Mathematical interpretation of formal systems Type de document : texte imprimé Auteurs : Th. SKOLEM, Auteur ; Gisbert HASENJAEGER, Auteur ; Georg KREISEL, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : Cop. 1955 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VIII-113 p. Langues : Anglais Mots-clés : système formel Note de contenu : bibliogr. Mathematical interpretation of formal systems [texte imprimé] / Th. SKOLEM, Auteur ; Gisbert HASENJAEGER, Auteur ; Georg KREISEL, Auteur . - Amsterdam : North-Holland Publishing Company, Cop. 1955 . - VIII-113 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) . Langues : Anglais Mots-clés : système formel Note de contenu : bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5549	SKO/02/1548	Livre	Recherche	Salle	Disponible

---

page 1/1