Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. TROELSTRA (1973)

Public ISBD Titre : Metamathematical investigation of intuitionistic arithmetic and analysis Type de document : monographie Auteurs : A. S. TROELSTRA, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1973 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 344 ISBN/ISSN/EAN : 978-3-540-06491-6 Langues : Anglais Catégories : 02C15 02D05 02D99 02H10 Mots-clés : logique Metamathematical investigation of intuitionistic arithmetic and analysis [monographie] / A. S. TROELSTRA, Auteur . - Berlin : Springer-Verlag, 1973. - (Lecture Note in Mathematics, ISSN 0075-8434; 344) . ISBN : 978-3-540-06491-6 Langues : Anglais Catégories : 02C15 02D05 02D99 02H10 Mots-clés : logique

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3471	LN 344	Livre	Recherche	Salle	Disponible

Model theory and topoi / F. William LAWVERE (1975)

Public ISBD Titre : Model theory and topoi : A collection of lectures by various authors Type de document : monographie Auteurs : F. William LAWVERE, Auteur ; C. MAURER, Auteur ; G. C. WRAITH, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1975 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 445 Importance : 354 p. ISBN/ISSN/EAN : 978-3-540-07164-8 Langues : Anglais Catégories : 02B15 02C15 02G20 02H10 02J05 02J15 02J99 02K10 06A20 14A20 14A99 18A05 18A15 18A25 18A30 18B05 18B99 18C05 18C10 18D15 18E15 18E99 18F10 18F20 18F99 Mots-clés : modèle mathématique  topoi Note de contenu : références Model theory and topoi : A collection of lectures by various authors [monographie] / F. William LAWVERE, Auteur ; C. MAURER, Auteur ; G. C. WRAITH, Auteur . - Berlin : Springer-Verlag, 1975 . - 354 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 445) . ISBN : 978-3-540-07164-8 Langues : Anglais Catégories : 02B15 02C15 02G20 02H10 02J05 02J15 02J99 02K10 06A20 14A20 14A99 18A05 18A15 18A25 18A30 18B05 18B99 18C05 18C10 18D15 18E15 18E99 18F10 18F20 18F99 Mots-clés : modèle mathématique  topoi Note de contenu : références

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
2980	LN 445	Livre	Recherche	Salle	Disponible

Proof theory and intuitionistic systems / Bruno SCARPELLINI (1971)

Public ISBD Titre : Proof theory and intuitionistic systems Type de document : monographie Auteurs : Bruno SCARPELLINI, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1971 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 212 ISBN/ISSN/EAN : 978-3-540-05541-9 Langues : Anglais Catégories : 02C15 02D99 02E05 Mots-clés : logique Proof theory and intuitionistic systems [monographie] / Bruno SCARPELLINI, Auteur . - Berlin : Springer-Verlag, 1971. - (Lecture Note in Mathematics, ISSN 0075-8434; 212) . ISBN : 978-3-540-05541-9 Langues : Anglais Catégories : 02C15 02D99 02E05 Mots-clés : logique

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3987	LN 212	Livre	Recherche	Salle	Disponible

---

page 1/1