A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 02B15
Affiner la recherche Interroger des sources externes
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 Tableau systems for first order number theory and certain higher order theories (1975) / Sue TOLEDO
Titre : Tableau systems for first order number theory and certain higher order theories Type de document : monographie Auteurs : Sue TOLEDO, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1975 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 447 ISBN/ISSN/EAN : 978-3-540-07149-5 Langues : Anglais (eng) Catégories : 02-02
02A05
02B15
02D99
02H15Mots-clés : preuve théorie des nombres calcul des relations logique Note de contenu : bibliogr. Tableau systems for first order number theory and certain higher order theories [monographie] / Sue TOLEDO, Auteur . - Springer-Verlag, 1975. - (Lecture Note in Mathematics, ISSN 0075-8434; 447) .
ISBN : 978-3-540-07149-5
Langues : Anglais (eng)
Catégories : 02-02
02A05
02B15
02D99
02H15Mots-clés : preuve théorie des nombres calcul des relations logique Note de contenu : bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3070 LN 447 Livre Recherche Salle Disponible