Degrees of unsolvability :: SCD d'Orléans

Degrees of unsolvability

Degrees of unsolvability

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Sacks, Gerald, 1933-2019
Formatua:	Livre papier
Hizkuntza:	Anglais
Argitaratua:	Princeton, N.J. : Princeton University Press 1966.
Edizioa:	2nd edition.
Saila:	Annals of mathematics studies 55
Gaiak:	Fonctions récursives Récursivité, théorie de la Non-résolubilité (logique mathématique)
Autres localisations:	Voir dans le Sudoc

Antzeko izenburuak

Degrees of unsolvability
nork: Shoenfield, Joseph Robert, 1927-2000
Argitaratua: (1971)

Computability and unsolvability
nork: Davis, Martin, 1928-2023
Argitaratua: (1958)

Degrees of unsolvability : structure and theory
nork: Epstein, Richard L., 1947-
Argitaratua: (1979)

Degrees of Unsolvability : Structure and Theory
nork: Epstein, Richard L., 1947-

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
nork: Davis, Martin, 1928-2023, et al.
Argitaratua: (1965)

Techniques of Admissible Recursion Theory
nork: Chong, Chi-Tat, 1949-...., mathématicien

Récursivité
nork: Azra, Jean-Pierre, et al.
Argitaratua: (1973)

Subrecursion : functions and hierarchies
nork: Rose, Harvey Ernest, 1936-
Argitaratua: (1984)

Theory of recursive functions and effective computability
nork: Rogers, Hartley, 1926-2015
Argitaratua: (1967)

Recursive methods in economic dynamics
nork: Stokey, Nancy L., et al.
Argitaratua: (1989)

Recursion on the countable functionals
nork: Normann, Dag, 1947-

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
nork: Cori, René, et al.
Argitaratua: (1993)

Recursive function theory and logic
nork: Yasuhara, Ann Harris, 1932-2014
Argitaratua: (1971)

First-order dynamic logic
nork: Harel, David, 1950-

Walks on Ordinals and Their Characteristics
nork: Todorčević, Stevo, 1955-...., mathématicien

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15 21, 1984

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19 25, 1989

Cabal Seminar 79 81 : Proceedings, Caltech-UCLA Logic Seminar 1979 81

Cabal Seminar 81 85 : Proceedings, Caltech-UCLA Logic Seminar 1981 85

Recursion theory and computational complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
nork: Lolli, Gabriele, 1942-
Argitaratua: (2011)

Complexité et décidabilité
nork: Dehornoy, Patrick, 1952-2019, mathématicien
Argitaratua: (1993)

Mathematical foundations of programming
nork: Beckman, Frank S., 1921-2009
Argitaratua: (1980)

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Argitaratua: (1965)

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Argitaratua: (1977)

Computability and logic
nork: Boolos, George, 1940-1996, et al.
Argitaratua: (1974)

Introduction à la calculabilité
nork: Wolper, Pierre, 1955-
Argitaratua: (1991)

Computations in higher types
nork: Moldestad, Johan, 1946-

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
nork: Goodstein, Reuben Louis, 1912-1985
Argitaratua: (1964)

Altérité, géographie, médias : une étude de Terre solitaire de Tiziana Panizza
nork: Cisneros, James
Argitaratua: (2021)

Recursiveness
nork: Eilenberg, Samuel, 1913-1998, et al.
Argitaratua: (1970)

General recursion theory : an axiomatic approach
nork: Fenstad, Jens Erik, 1935-2020
Argitaratua: (1980)

Recursion-theoretic hierarchies
nork: Hinman, Peter G.
Argitaratua: (1978)

Recursive analysis
nork: Goodstein, Reuben Louis, 1912-1985
Argitaratua: (1961)

La machine de Turing
nork: Turing, Alan Mathison, 1912-1954, et al.
Argitaratua: (1999)

Fibonacci and related number theoretic tables
Argitaratua: (1972)

Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski : Bierutowice, Poland 1975

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Argitaratua: (1978)

Generalized recursion theory : proceedings of the 1972 Oslo symposium
Argitaratua: (1974)

La mise en scène de la créativité dans l’œuvre de Michel Gondry : récursivité, boucle étrange et cognition
nork: Périssé, Camille
Argitaratua: (2022)

Random iterative models
nork: Duflo, Marie, 1940-2019, mathématicienne
Argitaratua: (1997)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales