A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Georg KREISEL
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesÉléments de logique mathématique (Cop. 1967) / Georg KREISEL
Titre : Éléments de logique mathématique : théorie des modèles Type de document : texte imprimé Auteurs : Georg KREISEL, Auteur ; Jean-Louis KRIVINE, Auteur Editeur : Paris [France] : Dunod Année de publication : Cop. 1967 Collection : Monographies de la société mathématique de France num. 3 Importance : VII-212 p. Langues : Français (fre) Catégories : 03-02
03CxxMots-clés : logique théorie des modèles Note de contenu : bibliogr. Éléments de logique mathématique : théorie des modèles [texte imprimé] / Georg KREISEL, Auteur ; Jean-Louis KRIVINE, Auteur . - Dunod, Cop. 1967 . - VII-212 p.. - (Monographies de la société mathématique de France; 3) .
Langues : Français (fre)
Catégories : 03-02
03CxxMots-clés : logique théorie des modèles Note de contenu : bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 216 KRE/02/3003 Livre Recherche Salle Disponible 21022 KRE/02/8895 Livre Recherche Salle Exclu du prêt i678 KRE/02/i678 a Livre Recherche Salle Disponible i678b KRE/02/i678b b Livre Recherche Salle Exclu du prêt Mathematical interpretation of formal systems (Cop. 1955) / Th. SKOLEM
Titre : Mathematical interpretation of formal systems Type de document : texte imprimé Auteurs : Th. SKOLEM, Auteur ; Gisbert HASENJAEGER, Auteur ; Georg KREISEL, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : Cop. 1955 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VIII-113 p. Langues : Anglais (eng) Mots-clés : système formel Note de contenu : bibliogr. Mathematical interpretation of formal systems [texte imprimé] / Th. SKOLEM, Auteur ; Gisbert HASENJAEGER, Auteur ; Georg KREISEL, Auteur . - North-Holland Publishing Company, Cop. 1955 . - VIII-113 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais (eng)
Mots-clés : système formel Note de contenu : bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5549 SKO/02/1548 Livre Recherche Salle Disponible