Lanean...

QR Kodea

Recursion theory for metamathematics.

Xehetasun bibliografikoak
Egile nagusia:	Smullyan, Raymond M.
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	New York: Oxford University Press, 1993.
Gaiak:	Recursion theory.

Antzeko izenburuak

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

Recursion sequences
nork: Markushevich, A.I.ed
Argitaratua: (1975)

Recursion sequences
nork: Markushevich
Argitaratua: (1975)

Recursive functions.-3rd ed.
nork: Peter, Rozsa
Argitaratua: (1967)

Recursively enumerable sets and degrees.
nork: Soare, Robert J.
Argitaratua: (1987)

Logic, sets and recursion
nork: Causey, Robert L; Author
Argitaratua: (2010)

Logic, sets and recursion
nork: Causey, Robert L.
Argitaratua: (2010)

Diagonalization and self-reference.
nork: Smullyan, Raymond M.
Argitaratua: (1996)

Recursive function theory and logic
nork: Yasuhara, Ann
Argitaratua: (1971)

Recursive functions in computer theory
nork: Peter, Rozsa
Argitaratua: (1981)

Advanced programming and problem solving with Pascal
nork: Scheider,G Michael
Argitaratua: (1987)

Computability Theory;Vol.62
nork: Weber,Rebecca

Topological Dynamics
nork: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Argitaratua: (1955)

Recursiveness
nork: Eilenberg, Samuel
Argitaratua: (1970)

Elementary induction on abstract structures /
nork: Moschovakis, Yiannis N.
Argitaratua: (1974)

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

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

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

How to think about algorithms
nork: Edmonds, Jeff
Argitaratua: (2008)

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

Recursiveness
nork: Eilenberg, Samuel
Argitaratua: (1970)

Recursiveness /
nork: Eilenberg, Samuel
Argitaratua: (1970)

How to think about Algorithms
nork: Jeff Edmonds
Argitaratua: (2008)

Metamathematics of fuzzy logic /
nork: Hajek, Petr
Argitaratua: (1998)

Metamathematics of algebraic systems /
nork: Malcev, A.I
Argitaratua: (1971)

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

Computer Programming in Pascal
nork: Rajaraman V.
Argitaratua: (1984)

Visual basic 6 from the ground up
nork: Cornell, Gary
Argitaratua: (2000)

Sets,Models and Recursion Theory
nork: Crossley,John.N
Argitaratua: (1967)

Theory of recursive functions and effective computability
nork: Jr, Harley Rogers
Argitaratua: (1967)

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

Computability and logic /
nork: Boolos, George S.
Argitaratua: (2002)

Computability and logic /
nork: Boolos, George
Argitaratua: (1974)

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

General recursion theory /
nork: Fenstad, Jens E.
Argitaratua: (1980)

Higher recursion theory/
nork: Sacks, Gerald E
Argitaratua: (2016)

Recursive macroeconomic theory /
nork: Ljungqvist , Lars .
Argitaratua: (2004)

Metamathematics of first - order arithmetic /
nork: Hajek , Petr
Argitaratua: (1998)

Metamathematics, machines and Godel's proof.
nork: Shankar, N
Argitaratua: (1994)

Theory of program structures : schemes, semantics, verification /
nork: Greibach, Sheila
Argitaratua: (1975)