14 résultat(s) recherche sur le mot-clé 'recursion theory'

Recursion theory

Public ISBD Titre : Recursion theory : its generalisations and applications Type de document : texte imprimé Auteurs : Frank Robert Drake, Editeur scientifique ; Stanley S. Wainer, Editeur scientifique Editeur : Cambridge University Press Année de publication : 1980 Collection : London Mathematical Society Lecture Note Series. num. 45 Importance : 319 p. Format : 23 cm. ISBN/ISSN/EAN : 978-0-521-23543-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. Mots-clés : Recursion theory  Proceedings  Logic  Colloquium  Leeds/England Index. décimale : 03B Publication collective Recursion theory : its generalisations and applications [texte imprimé] / Frank Robert Drake, Editeur scientifique ; Stanley S. Wainer, Editeur scientifique . - [S.l.] : Cambridge University Press, 1980 . - 319 p. ; 23 cm.. - (London Mathematical Society Lecture Note Series.; 45) . ISBN : 978-0-521-23543-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. Mots-clés : Recursion theory  Proceedings  Logic  Colloquium  Leeds/England Index. décimale : 03B Publication collective

Exemplaires

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

Recursion theory / Richard A. Shore ; Nerode, Anil

Public ISBD Titre : Recursion theory Titre original : proceedings of the AMS-ASL Summer Institute on Recursion Theory Type de document : texte imprimé Auteurs : Richard A. Shore, Editeur scientifique ; Nerode, Anil, Editeur scientifique Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1985 Collection : Proceedings of Symposia in Pure Mathematics num. 42 Importance : vii - 528 p. ISBN/ISSN/EAN : 978-0-8218-1447-5 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. Mots-clés : ithaca, ny (usa)  symposium  proceedings  recursion theory Index. décimale : 03C Monographie Recursion theory = proceedings of the AMS-ASL Summer Institute on Recursion Theory [texte imprimé] / Richard A. Shore, Editeur scientifique ; Nerode, Anil, Editeur scientifique . - Providence, R.I. : American Mathematical Society, 1985 . - vii - 528 p.. - (Proceedings of Symposia in Pure Mathematics; 42) . ISBN : 978-0-8218-1447-5 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. Mots-clés : ithaca, ny (usa)  symposium  proceedings  recursion theory Index. décimale : 03C Monographie

Exemplaires

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

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

The role of true finiteness in the admissible recursively enumerable degrees / Greenberg, Noam

Permalink

Abstrakte Automaten / Starke, P.H.

Permalink

Formalized recursive functionals and formalized realizability / Kleene, S.C.

Permalink

Foundations of constructive analysis / Errett Bishop

Permalink

Introduction to combinatory logic / Hindley, J. Roger

Permalink

Logic and structure / van Dalen, Dirk

Permalink

Mathematical logic / Joseph R. Shoenfield

Permalink

Metamathematics of first-order arithmetic / Hajek, Petr

Permalink

the Undecidability of the domino problem / Berger, Robert

Permalink