Degrees of unsolvability / Epstein, Richard L.

Public ISBD Titre : Degrees of unsolvability : structure and theory Type de document : texte imprimé Auteurs : Epstein, Richard L. Editeur : Springer-Verlag Année de publication : 1979 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 759 Importance : xiv - 240 p. ISBN/ISSN/EAN : 978-3-540-09710-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D35 Undecidability and degrees of sets of sentences Mots-clés : priority arguments  second-order number theory  undecidability  first-order theory of degrees  partial recursive functionals  recursive functions  textbook  degrees of unsolvability Index. décimale : LNM Degrees of unsolvability : structure and theory [texte imprimé] / Epstein, Richard L. . - [S.l.] : Springer-Verlag, 1979 . - xiv - 240 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 759) . ISBN : 978-3-540-09710-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D35 Undecidability and degrees of sets of sentences Mots-clés : priority arguments  second-order number theory  undecidability  first-order theory of degrees  partial recursive functionals  recursive functions  textbook  degrees of unsolvability Index. décimale : LNM

Exemplaires

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

Introduction to metamathematics / Kleene, Stephen C.

Public ISBD Titre : Introduction to metamathematics Type de document : texte imprimé Auteurs : Kleene, Stephen C. Editeur : Amsterdam : North-Holland Publishing Co.; Groningen: P. Noordhoff N. V. Année de publication : 1967 Collection : Bibliotheca Mathematica num. 1 Importance : x - 550 p. ISBN/ISSN/EAN : 978-0-7204-2103-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems Mots-clés : recursive functions  mathematical logic  philosophy and foundations of mathematics Index. décimale : 03C Monographie Introduction to metamathematics [texte imprimé] / Kleene, Stephen C. . - Amsterdam : North-Holland Publishing Co.; Groningen: P. Noordhoff N. V., 1967 . - x - 550 p.. - (Bibliotheca Mathematica; 1) . ISBN : 978-0-7204-2103-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems Mots-clés : recursive functions  mathematical logic  philosophy and foundations of mathematics Index. décimale : 03C Monographie

Exemplaires

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

a Path to combinatorics for undergraduates / Andreescu, Titu

Public ISBD Titre : a Path to combinatorics for undergraduates : counting strategies Type de document : texte imprimé Auteurs : Andreescu, Titu ; Feng, Zuming Editeur : Birkhäuser Verlag Année de publication : 2004 Importance : xviii - 228 p. ISBN/ISSN/EAN : 978-0-8176-4288-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies 05-XX Combinatorics :05-01 Instructional exposition (textbooks, tutorial papers, etc.) 05-XX Combinatorics :05AXX Enumerative combinatorics:05A05 Combinatorial choice problems (subsets, representatives, permutations) 05-XX Combinatorics :05AXX Enumerative combinatorics:05A10 Factorials, binomial coefficients, combinatorial functions 05-XX Combinatorics :05AXX Enumerative combinatorics:05A15 Exact enumeration problems, generating functions 05-XX Combinatorics :05AXX Enumerative combinatorics:05A19 Combinatorial identities 60-XX Probability theory and stochastic processes :60C05 Combinatorial probability Mots-clés : combinatorial number theory  combinatorial analysis Index. décimale : 104F a Path to combinatorics for undergraduates : counting strategies [texte imprimé] / Andreescu, Titu ; Feng, Zuming . - [S.l.] : Birkhäuser Verlag, 2004 . - xviii - 228 p. ISBN : 978-0-8176-4288-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies 05-XX Combinatorics :05-01 Instructional exposition (textbooks, tutorial papers, etc.) 05-XX Combinatorics :05AXX Enumerative combinatorics:05A05 Combinatorial choice problems (subsets, representatives, permutations) 05-XX Combinatorics :05AXX Enumerative combinatorics:05A10 Factorials, binomial coefficients, combinatorial functions 05-XX Combinatorics :05AXX Enumerative combinatorics:05A15 Exact enumeration problems, generating functions 05-XX Combinatorics :05AXX Enumerative combinatorics:05A19 Combinatorial identities 60-XX Probability theory and stochastic processes :60C05 Combinatorial probability Mots-clés : combinatorial number theory  combinatorial analysis Index. décimale : 104F

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14954	104F46	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Disponible

Recursiveness / S. Eilenberg

Public ISBD Titre : Recursiveness Type de document : texte imprimé Auteurs : S. Eilenberg ; Elgot, Calvin C. Editeur : Academic Press, Inc. Année de publication : 1970 Importance : vii - 89 p. ISBN/ISSN/EAN : 978-0-12-234050-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies Mots-clés : recursive functions Index. décimale : 03C Monographie Recursiveness [texte imprimé] / S. Eilenberg ; Elgot, Calvin C. . - [S.l.] : Academic Press, Inc., 1970 . - vii - 89 p. ISBN : 978-0-12-234050-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies Mots-clés : recursive functions Index. décimale : 03C Monographie

Exemplaires

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

Rekursive funktionen und ihre komplexität / Schnorr, C. P.

Public ISBD Titre : Rekursive funktionen und ihre komplexität Type de document : texte imprimé Auteurs : Schnorr, C. P. Editeur : Leipzig : B.G. Teubner Année de publication : 1974 Collection : Teubner Studienbücher Informatik Importance : 191 p. ISBN/ISSN/EAN : 978-3-519-02322-7 Langues : Allemand Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies Mots-clés : computer science  analysis of algorithms  mathematical logic  recursive functions Index. décimale : 03C Monographie Rekursive funktionen und ihre komplexität [texte imprimé] / Schnorr, C. P. . - Leipzig : B.G. Teubner, 1974 . - 191 p.. - (Teubner Studienbücher Informatik) . ISBN : 978-3-519-02322-7 Langues : Allemand Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies Mots-clés : computer science  analysis of algorithms  mathematical logic  recursive functions Index. décimale : 03C Monographie

Exemplaires

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

---

page 1/1