A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 02C15
Affiner la recherche Interroger des sources externes
Metamathematical investigation of intuitionistic arithmetic and analysis (1973) / A. S. TROELSTRA
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 (eng) Catégories : 02C15
02D05
02D99
02H10Mots-clés : logique Metamathematical investigation of intuitionistic arithmetic and analysis [monographie] / A. S. TROELSTRA, Auteur . - Springer-Verlag, 1973. - (Lecture Note in Mathematics, ISSN 0075-8434; 344) .
ISBN : 978-3-540-06491-6
Langues : Anglais (eng)
Catégories : 02C15
02D05
02D99
02H10Mots-clés : logique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3471 LN 344 Livre Recherche Salle Disponible Model theory and topoi (1975) / F.W. Lawvere
Titre : Model theory and topoi : A collection of lectures by various authors Type de document : monographie Auteurs : F.W. 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 (eng) 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
18F99Mots-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.W. Lawvere, Auteur ; C. MAURER, Auteur ; G. C. WRAITH, Auteur . - Springer-Verlag, 1975 . - 354 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 445) .
ISBN : 978-3-540-07164-8
Langues : Anglais (eng)
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
18F99Mots-clés : modèle mathématique topoi Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2980 LN 445 Livre Recherche Salle Disponible Proof theory and intuitionistic systems (1971) / Bruno SCARPELLINI
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 (eng) Catégories : 02C15
02D99
02E05Mots-clés : logique Proof theory and intuitionistic systems [monographie] / Bruno SCARPELLINI, Auteur . - Springer-Verlag, 1971. - (Lecture Note in Mathematics, ISSN 0075-8434; 212) .
ISBN : 978-3-540-05541-9
Langues : Anglais (eng)
Catégories : 02C15
02D99
02E05Mots-clés : logique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3987 LN 212 Livre Recherche Salle Disponible