Degrees of unsolvability / Sacks, Gerald E.

Public ISBD Titre : Degrees of unsolvability Type de document : texte imprimé Auteurs : Sacks, Gerald E. Mention d'édition : 2nd ed. Editeur : Princeton : Princeton University Press Année de publication : 1966 Collection : Annals of Mathematics Studies num. 55 Importance : ix -174 p. Langues : Anglais Mots-clés : mathematical logic Index. décimale : 03C Monographie Degrees of unsolvability [texte imprimé] / Sacks, Gerald E.  . -  2nd ed. . - Princeton : Princeton University Press, 1966 . - ix -174 p.. - (Annals of Mathematics Studies; 55) . Langues : Anglais Mots-clés : mathematical logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4479	03C75	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Recursion theory week / Muller, G. H. ; Ebbinghaus, Heinz-Dieter ; Sacks, Gerald E.

Public ISBD Titre : Recursion theory week Titre original : proceedings of a conference held in Oberwolfach Westgermany Type de document : texte imprimé Auteurs : Muller, G. H. ; Ebbinghaus, Heinz-Dieter ; Sacks, Gerald E., Editeur scientifique Editeur : Springer-Verlag Année de publication : 1985 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 1141 Importance : ix - 418 p. ISBN/ISSN/EAN : 978-0-387-15673-6 Langues : Anglais Mots-clés : recursion theory Index. décimale : LNM Recursion theory week = proceedings of a conference held in Oberwolfach Westgermany [texte imprimé] / Muller, G. H. ; Ebbinghaus, Heinz-Dieter ; Sacks, Gerald E., Editeur scientifique . - [S.l.] : Springer-Verlag, 1985 . - ix - 418 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 1141) . ISBN : 978-0-387-15673-6 Langues : Anglais Mots-clés : recursion theory Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5092	LNM/1141	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

Saturated model theory / Sacks, Gerald E.

Public ISBD Titre : Saturated model theory Type de document : texte imprimé Auteurs : Sacks, Gerald E. Editeur : Reading, Ma : W.A.Benjamin Année de publication : 1972 Collection : Mathematics lecture notes series Importance : xiv - 335 p. ISBN/ISSN/EAN : 978-0-8053-8380-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory 03-XX Mathematical logic and foundations:03CXX Model theory:03C68 Other classical first-order model theory Mots-clés : mathematical logic  model theory Index. décimale : 03C Monographie Saturated model theory [texte imprimé] / Sacks, Gerald E. . - Reading, Ma : W.A.Benjamin, 1972 . - xiv - 335 p.. - (Mathematics lecture notes series) . ISBN : 978-0-8053-8380-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory 03-XX Mathematical logic and foundations:03CXX Model theory:03C68 Other classical first-order model theory Mots-clés : mathematical logic  model theory Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
1743	03C76	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Selected logic papers / Sacks, Gerald E.

Public ISBD Titre : Selected logic papers Type de document : texte imprimé Auteurs : Sacks, Gerald E. Editeur : Singapore : World scientific Année de publication : 1999 Collection : World Scientific Series in 20th Century Mathematics num. 6 Importance : xviii - 431 p. ISBN/ISSN/EAN : 978-981-02-3267-2 Langues : Anglais Catégories : 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory Mots-clés : selected works  selected papers Index. décimale : O1 Oeuvres Selected logic papers [texte imprimé] / Sacks, Gerald E. . - Singapore : World scientific, 1999 . - xviii - 431 p.. - (World Scientific Series in 20th Century Mathematics; 6) . ISBN : 978-981-02-3267-2 Langues : Anglais Catégories : 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory Mots-clés : selected works  selected papers Index. décimale : O1 Oeuvres

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13509	01 SAC	imprimé / autre	CRDM	01//OEUVRES COMPLETES	Disponible

---

page 1/1