Degrees of unsolvability : structure and theory / Richard L. Epstein (1979)

Public ISBD Titre : Degrees of unsolvability : structure and theory Type de document : monographie Auteurs : Richard L. Epstein, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1979 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 759 ISBN/ISSN/EAN : 978-3-540-09710-5 Note générale : Index Langues : Anglais Catégories : 01A65 03-02 03-03 03D30 03D35 03F30 06D05 Degrees of unsolvability : structure and theory [monographie] / Richard L. Epstein, Auteur . - Berlin : Springer-Verlag, 1979. - (Lecture Note in Mathematics, ISSN 0075-8434; 759) . ISBN : 978-3-540-09710-5 Index Langues : Anglais Catégories : 01A65 03-02 03-03 03D30 03D35 03F30 06D05

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5269	LN 759	Livre	Recherche	Salle	Disponible

É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

Foundations of mathematical logic / Haskell B. CURRY (1963)

Public ISBD Titre : Foundations of mathematical logic Type de document : texte imprimé Auteurs : Haskell B. CURRY, Auteur Editeur : New York : McGraw-Hill Book Company Année de publication : 1963 Importance : XII-408 p. Langues : Anglais Catégories : 03-01 03-02 Mots-clés : logique mathématique Note de contenu : index, bibliogr. Foundations of mathematical logic [texte imprimé] / Haskell B. CURRY, Auteur . - New York : McGraw-Hill Book Company, 1963 . - XII-408 p. Langues : Anglais Catégories : 03-01 03-02 Mots-clés : logique mathématique Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
1062	CUR/02/2062	Livre	Recherche	Salle	Disponible

A theory of sets / Anthony P. MORSE (Cop. 1965)

Public ISBD Titre : A theory of sets Type de document : texte imprimé Auteurs : Anthony P. MORSE, Auteur Editeur : New York [U.S.A.] : Academic Press Année de publication : Cop. 1965 Collection : Pure and applied mathematics, ISSN 1439-7358 num. XVIII Importance : XXIII-130 p. Langues : Anglais Catégories : 03-02 04-02 Mots-clés : théorie des ensembles Note de contenu : index A theory of sets [texte imprimé] / Anthony P. MORSE, Auteur . - New York (U.S.A.) : Academic Press, Cop. 1965 . - XXIII-130 p.. - (Pure and applied mathematics, ISSN 1439-7358; XVIII) . Langues : Anglais Catégories : 03-02 04-02 Mots-clés : théorie des ensembles Note de contenu : index

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
360	MOR/04/2695	Livre	Recherche	Salle	Disponible

---

page 1/1