A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 02D99
Affiner la recherche Interroger des sources externes
Coherence and non-commutative diagrams in closed categories (1977) / Rodiani VOREADOU
Titre : Coherence and non-commutative diagrams in closed categories Type de document : monographie Auteurs : Rodiani VOREADOU, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1977 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 182 ISBN/ISSN/EAN : 978-0-8218-2182-4 Langues : Anglais (eng) Catégories : 02D99
02G99
18A15
18D15
18D99Mots-clés : catégorie Coherence and non-commutative diagrams in closed categories [monographie] / Rodiani VOREADOU, Auteur . - American Mathematical Society, 1977. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 182) .
ISBN : 978-0-8218-2182-4
Langues : Anglais (eng)
Catégories : 02D99
02G99
18A15
18D15
18D99Mots-clés : catégorie Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2586 854/182 Livre Recherche Salle Disponible Logic colloquium (1975) / R. ed. PARIKH
Titre : Logic colloquium : Symposium on logic held at Boston, 1972-73 Type de document : monographie Auteurs : R. ed. PARIKH, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1975 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 453 ISBN/ISSN/EAN : 978-3-540-07155-6 Langues : Anglais (eng) Catégories : 02B99
02C10
02C99
02D99
02F27
02G05Mots-clés : logique symbolique logique mathématique Logic colloquium : Symposium on logic held at Boston, 1972-73 [monographie] / R. ed. PARIKH, Auteur . - Springer-Verlag, 1975. - (Lecture Note in Mathematics, ISSN 0075-8434; 453) .
ISBN : 978-3-540-07155-6
Langues : Anglais (eng)
Catégories : 02B99
02C10
02C99
02D99
02F27
02G05Mots-clés : logique symbolique logique mathématique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3036 LN 453 Livre Recherche Salle Disponible 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 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 Proof theory symposion (1975) / J. DILLER
Titre : Proof theory symposion : Proceedings of the international summer institute and logic colloquium, Kiel 1974 Type de document : monographie Auteurs : J. DILLER, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1975 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 500 ISBN/ISSN/EAN : 978-3-540-07533-2 Langues : Allemand (ger) Catégories : 02D05
02D99
02E05
02F29
02F40Mots-clés : théorie de Proof Proof theory symposion : Proceedings of the international summer institute and logic colloquium, Kiel 1974 [monographie] / J. DILLER, Auteur . - Springer-Verlag, 1975. - (Lecture Note in Mathematics, ISSN 0075-8434; 500) .
ISBN : 978-3-540-07533-2
Langues : Allemand (ger)
Catégories : 02D05
02D99
02E05
02F29
02F40Mots-clés : théorie de Proof Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5200 LN 500 Livre Recherche Salle Disponible Tableau systems for first order number theory and certain higher order theories (1975) / Sue TOLEDO
Permalink