載入...

QR Code

Recursion theory for metamathematics.

書目詳細資料
主要作者:	Smullyan, Raymond M.
格式:	Printed Book
語言:	English
出版:	New York: Oxford University Press, 1993.
主題:	Recursion theory.

相似書籍

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

Recursion sequences
由: Markushevich, A.I.ed
出版: (1975)

Recursion sequences
由: Markushevich
出版: (1975)

Recursive functions.-3rd ed.
由: Peter, Rozsa
出版: (1967)

Recursively enumerable sets and degrees.
由: Soare, Robert J.
出版: (1987)

Logic, sets and recursion
由: Causey, Robert L; Author
出版: (2010)

Logic, sets and recursion
由: Causey, Robert L.
出版: (2010)

Diagonalization and self-reference.
由: Smullyan, Raymond M.
出版: (1996)

Recursive function theory and logic
由: Yasuhara, Ann
出版: (1971)

Recursive functions in computer theory
由: Peter, Rozsa
出版: (1981)

Advanced programming and problem solving with Pascal
由: Scheider,G Michael
出版: (1987)

Computability Theory;Vol.62
由: Weber,Rebecca

Topological Dynamics
由: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
出版: (1955)

Recursiveness
由: Eilenberg, Samuel
出版: (1970)

Elementary induction on abstract structures /
由: Moschovakis, Yiannis N.
出版: (1974)

Cellular automata a discrete view of the world
由: Schiff, Joel L
出版: (2008)

How to solve it by computer
由: Dromey,R G
出版: (1999)

Introduction to model theory and to the metamathematics of algebra /
由: Robinson Abraham
出版: (1965)

How to think about algorithms
由: Edmonds, Jeff
出版: (2008)

Computational Complexity-A Modern Approach.
由: Arora,Sanjeev, et al.
出版: (2009)

Recursiveness
由: Eilenberg, Samuel
出版: (1970)

Recursiveness /
由: Eilenberg, Samuel
出版: (1970)

How to think about Algorithms
由: Jeff Edmonds
出版: (2008)

Metamathematics of fuzzy logic /
由: Hajek, Petr
出版: (1998)

Metamathematics of algebraic systems /
由: Malcev, A.I
出版: (1971)

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

Computer Programming in Pascal
由: Rajaraman V.
出版: (1984)

Visual basic 6 from the ground up
由: Cornell, Gary
出版: (2000)

Sets,Models and Recursion Theory
由: Crossley,John.N
出版: (1967)

Theory of recursive functions and effective computability
由: Jr, Harley Rogers
出版: (1967)

Introduction to model theory and to the metamathematics of algebra /
由: Robinson, Abraham
出版: (1965)

Computability and logic /
由: Boolos, George S.
出版: (2002)

Computability and logic /
由: Boolos, George
出版: (1974)

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

General recursion theory /
由: Fenstad, Jens E.
出版: (1980)

Higher recursion theory/
由: Sacks, Gerald E
出版: (2016)

Recursive macroeconomic theory /
由: Ljungqvist , Lars .
出版: (2004)

Metamathematics of first - order arithmetic /
由: Hajek , Petr
出版: (1998)

Metamathematics, machines and Godel's proof.
由: Shankar, N
出版: (1994)

Theory of program structures : schemes, semantics, verification /
由: Greibach, Sheila
出版: (1975)