Loading...

QR Code

Recursion theory for metamathematics.

Bibliographic Details
Main Author:	Smullyan, Raymond M.
Format:	Printed Book
Language:	English
Published:	New York: Oxford University Press, 1993.
Subjects:	Recursion theory.

Similar Items

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

Recursion sequences
by: Markushevich, A.I.ed
Published: (1975)

Recursion sequences
by: Markushevich
Published: (1975)

Recursive functions.-3rd ed.
by: Peter, Rozsa
Published: (1967)

Recursively enumerable sets and degrees.
by: Soare, Robert J.
Published: (1987)

Logic, sets and recursion
by: Causey, Robert L; Author
Published: (2010)

Logic, sets and recursion
by: Causey, Robert L.
Published: (2010)

Diagonalization and self-reference.
by: Smullyan, Raymond M.
Published: (1996)

Recursive function theory and logic
by: Yasuhara, Ann
Published: (1971)

Recursive functions in computer theory
by: Peter, Rozsa
Published: (1981)

Advanced programming and problem solving with Pascal
by: Scheider,G Michael
Published: (1987)

Computability Theory;Vol.62
by: Weber,Rebecca

Topological Dynamics
by: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Published: (1955)

Recursiveness
by: Eilenberg, Samuel
Published: (1970)

Elementary induction on abstract structures /
by: Moschovakis, Yiannis N.
Published: (1974)

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

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

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

How to think about algorithms
by: Edmonds, Jeff
Published: (2008)

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

Recursiveness
by: Eilenberg, Samuel
Published: (1970)

Recursiveness /
by: Eilenberg, Samuel
Published: (1970)

How to think about Algorithms
by: Jeff Edmonds
Published: (2008)

Metamathematics of fuzzy logic /
by: Hajek, Petr
Published: (1998)

Metamathematics of algebraic systems /
by: Malcev, A.I
Published: (1971)

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

Computer Programming in Pascal
by: Rajaraman V.
Published: (1984)

Visual basic 6 from the ground up
by: Cornell, Gary
Published: (2000)

Sets,Models and Recursion Theory
by: Crossley,John.N
Published: (1967)

Theory of recursive functions and effective computability
by: Jr, Harley Rogers
Published: (1967)

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

Computability and logic /
by: Boolos, George S.
Published: (2002)

Computability and logic /
by: Boolos, George
Published: (1974)

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

General recursion theory /
by: Fenstad, Jens E.
Published: (1980)

Higher recursion theory/
by: Sacks, Gerald E
Published: (2016)

Recursive macroeconomic theory /
by: Ljungqvist , Lars .
Published: (2004)

Metamathematics of first - order arithmetic /
by: Hajek , Petr
Published: (1998)

Metamathematics, machines and Godel's proof.
by: Shankar, N
Published: (1994)

Theory of program structures : schemes, semantics, verification /
by: Greibach, Sheila
Published: (1975)