Éléments de logique mathématique / Georg KREISEL (Cop. 1967)

Public ISBD 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 Catégories : 03-02 03Cxx Mots-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 . - Paris (France) : Dunod, Cop. 1967 . - VII-212 p.. - (Monographies de la société mathématique de France; 3) . Langues : Français Catégories : 03-02 03Cxx Mots-clés : logique  théorie des modèles Note de contenu : bibliogr.

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 / Th. SKOLEM (Cop. 1955)

Public ISBD 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 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 . - Amsterdam : North-Holland Publishing Company, Cop. 1955 . - VIII-113 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) . Langues : Anglais Mots-clés : système formel Note de contenu : bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5549	SKO/02/1548	Livre	Recherche	Salle	Disponible

---

page 1/1