Cargando...

Código QR

Recursion theory for metamathematics.

Detalles Bibliográficos
Autor Principal:	Smullyan, Raymond M.
Formato:	Printed Book
Idioma:	English
Publicado:	New York: Oxford University Press, 1993.
Subjects:	Recursion theory.

Títulos similares

Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
por: Fenstad,J.E.ed
Publicado: (1974)

Recursion sequences
por: Markushevich, A.I.ed
Publicado: (1975)

Recursion sequences
por: Markushevich
Publicado: (1975)

Recursive functions.-3rd ed.
por: Peter, Rozsa
Publicado: (1967)

Recursively enumerable sets and degrees.
por: Soare, Robert J.
Publicado: (1987)

Logic, sets and recursion
por: Causey, Robert L; Author
Publicado: (2010)

Logic, sets and recursion
por: Causey, Robert L.
Publicado: (2010)

Diagonalization and self-reference.
por: Smullyan, Raymond M.
Publicado: (1996)

Recursive function theory and logic
por: Yasuhara, Ann
Publicado: (1971)

Recursive functions in computer theory
por: Peter, Rozsa
Publicado: (1981)

Advanced programming and problem solving with Pascal
por: Scheider,G Michael
Publicado: (1987)

Computability Theory;Vol.62
por: Weber,Rebecca

Topological Dynamics
por: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Publicado: (1955)

Recursiveness
por: Eilenberg, Samuel
Publicado: (1970)

Elementary induction on abstract structures /
por: Moschovakis, Yiannis N.
Publicado: (1974)

Cellular automata a discrete view of the world
por: Schiff, Joel L
Publicado: (2008)

How to solve it by computer
por: Dromey,R G
Publicado: (1999)

Introduction to model theory and to the metamathematics of algebra /
por: Robinson Abraham
Publicado: (1965)

How to think about algorithms
por: Edmonds, Jeff
Publicado: (2008)

Computational Complexity-A Modern Approach.
por: Arora,Sanjeev, et al.
Publicado: (2009)

Recursiveness
por: Eilenberg, Samuel
Publicado: (1970)

Recursiveness /
por: Eilenberg, Samuel
Publicado: (1970)

How to think about Algorithms
por: Jeff Edmonds
Publicado: (2008)

Metamathematics of fuzzy logic /
por: Hajek, Petr
Publicado: (1998)

Metamathematics of algebraic systems /
por: Malcev, A.I
Publicado: (1971)

Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
por: Kleene, Stephen Cole
Publicado: (1980)

Computer Programming in Pascal
por: Rajaraman V.
Publicado: (1984)

Visual basic 6 from the ground up
por: Cornell, Gary
Publicado: (2000)

Sets,Models and Recursion Theory
por: Crossley,John.N
Publicado: (1967)

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

Introduction to model theory and to the metamathematics of algebra /
por: Robinson, Abraham
Publicado: (1965)

Computability and logic /
por: Boolos, George S.
Publicado: (2002)

Computability and logic /
por: Boolos, George
Publicado: (1974)

Introduction to data structures using C: a simplified approach /
Publicado: (2009)

General recursion theory /
por: Fenstad, Jens E.
Publicado: (1980)

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

Recursive macroeconomic theory /
por: Ljungqvist , Lars .
Publicado: (2004)

Metamathematics of first - order arithmetic /
por: Hajek , Petr
Publicado: (1998)

Metamathematics, machines and Godel's proof.
por: Shankar, N
Publicado: (1994)

Theory of program structures : schemes, semantics, verification /
por: Greibach, Sheila
Publicado: (1975)