Llwytho...

Côd QR

Recursion theory for metamathematics.

Manylion Llyfryddiaeth
Prif Awdur:	Smullyan, Raymond M.
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	New York: Oxford University Press, 1993.
Pynciau:	Recursion theory.

Eitemau Tebyg

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

Recursion sequences
gan: Markushevich, A.I.ed
Cyhoeddwyd: (1975)

Recursion sequences
gan: Markushevich
Cyhoeddwyd: (1975)

Recursive functions.-3rd ed.
gan: Peter, Rozsa
Cyhoeddwyd: (1967)

Recursively enumerable sets and degrees.
gan: Soare, Robert J.
Cyhoeddwyd: (1987)

Logic, sets and recursion
gan: Causey, Robert L; Author
Cyhoeddwyd: (2010)

Logic, sets and recursion
gan: Causey, Robert L.
Cyhoeddwyd: (2010)

Diagonalization and self-reference.
gan: Smullyan, Raymond M.
Cyhoeddwyd: (1996)

Recursive function theory and logic
gan: Yasuhara, Ann
Cyhoeddwyd: (1971)

Recursive functions in computer theory
gan: Peter, Rozsa
Cyhoeddwyd: (1981)

Advanced programming and problem solving with Pascal
gan: Scheider,G Michael
Cyhoeddwyd: (1987)

Computability Theory;Vol.62
gan: Weber,Rebecca

Topological Dynamics
gan: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Cyhoeddwyd: (1955)

Recursiveness
gan: Eilenberg, Samuel
Cyhoeddwyd: (1970)

Elementary induction on abstract structures /
gan: Moschovakis, Yiannis N.
Cyhoeddwyd: (1974)

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

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

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

How to think about algorithms
gan: Edmonds, Jeff
Cyhoeddwyd: (2008)

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

Recursiveness
gan: Eilenberg, Samuel
Cyhoeddwyd: (1970)

Recursiveness /
gan: Eilenberg, Samuel
Cyhoeddwyd: (1970)

How to think about Algorithms
gan: Jeff Edmonds
Cyhoeddwyd: (2008)

Metamathematics of fuzzy logic /
gan: Hajek, Petr
Cyhoeddwyd: (1998)

Metamathematics of algebraic systems /
gan: Malcev, A.I
Cyhoeddwyd: (1971)

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

Computer Programming in Pascal
gan: Rajaraman V.
Cyhoeddwyd: (1984)

Visual basic 6 from the ground up
gan: Cornell, Gary
Cyhoeddwyd: (2000)

Sets,Models and Recursion Theory
gan: Crossley,John.N
Cyhoeddwyd: (1967)

Theory of recursive functions and effective computability
gan: Jr, Harley Rogers
Cyhoeddwyd: (1967)

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

Computability and logic /
gan: Boolos, George S.
Cyhoeddwyd: (2002)

Computability and logic /
gan: Boolos, George
Cyhoeddwyd: (1974)

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

General recursion theory /
gan: Fenstad, Jens E.
Cyhoeddwyd: (1980)

Higher recursion theory/
gan: Sacks, Gerald E
Cyhoeddwyd: (2016)

Recursive macroeconomic theory /
gan: Ljungqvist , Lars .
Cyhoeddwyd: (2004)

Metamathematics of first - order arithmetic /
gan: Hajek , Petr
Cyhoeddwyd: (1998)

Metamathematics, machines and Godel's proof.
gan: Shankar, N
Cyhoeddwyd: (1994)

Theory of program structures : schemes, semantics, verification /
gan: Greibach, Sheila
Cyhoeddwyd: (1975)