Cargando…

Recursion theory: lecture notes in logic 1

Detalles Bibliográficos
Autor principal:	Shoenfield, Joseph R
Lenguaje:	eng
Publicado:	Chapman and Hall/CRC 2018
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2631007

Ejemplares similares

Recursion theory
por: Shoenfield, Joseph R
Publicado: (2017)

Recursive number theory: a development of recursive arithmetic in a logic-free equation calculus
por: Goodstein, Reuben Louis
Publicado: (1957)

Logic colloquium '99: lecture notes in logic 17
por: Van Eijck, Jan, et al.
Publicado: (2004)

Logic colloquium '02: lecture notes in logic 27
por: Chatzidakis, ZoÃ©, et al.
Publicado: (2006)

Lectures in logic and set theory
por: Tourlakis, George
Publicado: (2003)

Lectures in Logic and Set Theory
por: Tourlakis, George, et al.
Publicado: (2003)

Reverse mathematics 2001: lecture notes in logic 21
por: Simpson, Stephen G, et al.
Publicado: (2005)

Higher recursion theory
por: Sacks, Gerald E
Publicado: (2017)

Recursive model theory
por: Chang, C C, et al.
Publicado: (1998)

Recursion Theory Week
por: Ambos-Spies, Klaus, et al.
Publicado: (1990)

Recursion Theory Week
por: Ebbinghaus, Heinz-Dieter, et al.
Publicado: (1985)

Nonstandard methods and applications in mathematics: lecture notes in logic 25
por: Cutland, Nigel J, et al.
Publicado: (2006)

Bounded queries in recursion theory
por: Gasarch, William I, et al.
Publicado: (1999)

Recursion Theory and Computational Complexity
por: Lolli, G
Publicado: (2011)

Fundamentals of generalized recursion theory
por: Fitting, Melvin
Publicado: (1981)

Techniques of admissible recursion theory
por: Chong, Chi-Tat
Publicado: (1984)

Recursion theory: computational aspects of definability
por: Chong, Chi Tat, et al.
Publicado: (2015)

Theory of recursive functions and effective computability
por: Rogers, Hartley
Publicado: (1967)

General recursion theory: an axiomatic approach
por: Fenstad, Jens E
Publicado: (2017)

Ordinal definability and recursion theory: the Cabal Seminar
por: Kechris, Alexander S, et al.
Publicado: (2016)

Computability, enumerability, unsolvability: directions in recursion theory
por: Cooper, S Barry, et al.
Publicado: (1996)

Classical recursion theory: the theory of functions and sets of natural numbers
por: Odifreddi, Piergiorgio
Publicado: (1992)

Degrees of unsolvability
por: Shoenfield, Joseph R
Publicado: (2011)

Lecture notes on regularity theory for the Navier-Stokes equations
por: Seregin, Gregory
Publicado: (2014)

Enumerability · decidability computability: an introduction to the theory of recursive functions
por: Hermes, Hans
Publicado: (1969)

Geometrical interpretation of the topological recursion, and integrable string theories
por: Eynard, Bertrand, et al.
Publicado: (2009)

Enumerability · decidability computability: an introduction to the theory of recursive functions
por: Hermes, Hans
Publicado: (1965)

Recursiveness
por: Eilenberg, Samuel, et al.
Publicado: (1970)

Algebraic computability and enumeration models: recursion theory and descriptive complexity
por: Nourani, Cyrus F
Publicado: (2016)

Set theory and logic
por: Stoll, Robert R
Publicado: (1963)

Thinking recursively
por: Roberts, Eric S
Publicado: (1986)

Recursive functionals
por: Sanchis, Luis E
Publicado: (1992)

Logical number theory
por: Smoryński, Craig
Publicado: (1991)

Recursive Partitioning and Applications
por: Zhang, Heping, et al.
Publicado: (2010)

Super-recursive algorithms
por: Burgin, Mark
Publicado: (2005)

Recursion on the countable functionals
por: Normann, Dag
Publicado: (1980)

Recursion-theoretic hierarchies
por: Hinman, Peter G
Publicado: (2017)

Stochastic approximation and recursive estimation
por: Nevelson, M B, et al.
Publicado: (1976)

Lecture Notes of the 6th International School Mathematical Theory in Fluid Mechanics
por: Málek, Josef, et al.
Publicado: (2000)

The theory of gambling and statistical logic
por: Epstein, Richard A
Publicado: (1995)

Cannot write session to /tmp/vufind_sessions/sess_ohsv23kc44fps0rdlv60d5m0qm