Generalized recursion theory / Hinman, P. G. Eds. ; Fenstad, J. E.

Public ISBD Titre : Generalized recursion theory Titre original : proceedings of the 1972 Oslo symposium Type de document : texte imprimé Auteurs : Hinman, P. G. Eds. ; Fenstad, J. E. Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1974 Collection : Studies in Logic and The Foundations of Mathematics num. 79 Importance : viii - 456 p. ISBN/ISSN/EAN : 978-0-7204-2276-4 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers 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 : oslo  proceedings  mathematical logic  recursion theory Index. décimale : 03B Publication collective Generalized recursion theory = proceedings of the 1972 Oslo symposium [texte imprimé] / Hinman, P. G. Eds. ; Fenstad, J. E. . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1974 . - viii - 456 p.. - (Studies in Logic and The Foundations of Mathematics; 79) . ISBN : 978-0-7204-2276-4 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers 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 : oslo  proceedings  mathematical logic  recursion theory Index. décimale : 03B Publication collective

Exemplaires

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

Mathematical logic / J. D. Monk

Public ISBD Titre : Mathematical logic Type de document : texte imprimé Auteurs : J. D. Monk Editeur : New York, NY : Springer Année de publication : 1976 Collection : Graduate Texts in Mathematics num. 37 Importance : x - 531 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory Mots-clés : general algebraic systems  recursion theory  mathematical logic Index. décimale : 03C Monographie Mathematical logic [texte imprimé] / J. D. Monk . - New York, NY : Springer, 1976 . - x - 531 p.. - (Graduate Texts in Mathematics; 37) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory Mots-clés : general algebraic systems  recursion theory  mathematical logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
1292	03C97	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