A partir de cette page vous pouvez :
Retourner à l'écran de résultat de la dernière recherche | Consulter l'historique des recherches | Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Bruno SCARPELLINI
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesProof 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