Đang tải...

Mã QR

Recursion theory for metamathematics.

Chi tiết về thư mục
Tác giả chính:	Smullyan, Raymond M.
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	New York: Oxford University Press, 1993.
Những chủ đề:	Recursion theory.

Những quyển sách tương tự

Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
Bằng: Fenstad,J.E.ed
Được phát hành: (1974)

Recursion sequences
Bằng: Markushevich, A.I.ed
Được phát hành: (1975)

Recursion sequences
Bằng: Markushevich
Được phát hành: (1975)

Recursive functions.-3rd ed.
Bằng: Peter, Rozsa
Được phát hành: (1967)

Recursively enumerable sets and degrees.
Bằng: Soare, Robert J.
Được phát hành: (1987)

Logic, sets and recursion
Bằng: Causey, Robert L; Author
Được phát hành: (2010)

Logic, sets and recursion
Bằng: Causey, Robert L.
Được phát hành: (2010)

Diagonalization and self-reference.
Bằng: Smullyan, Raymond M.
Được phát hành: (1996)

Recursive function theory and logic
Bằng: Yasuhara, Ann
Được phát hành: (1971)

Recursive functions in computer theory
Bằng: Peter, Rozsa
Được phát hành: (1981)

Advanced programming and problem solving with Pascal
Bằng: Scheider,G Michael
Được phát hành: (1987)

Computability Theory;Vol.62
Bằng: Weber,Rebecca

Topological Dynamics
Bằng: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Được phát hành: (1955)

Recursiveness
Bằng: Eilenberg, Samuel
Được phát hành: (1970)

Elementary induction on abstract structures /
Bằng: Moschovakis, Yiannis N.
Được phát hành: (1974)

Cellular automata a discrete view of the world
Bằng: Schiff, Joel L
Được phát hành: (2008)

How to solve it by computer
Bằng: Dromey,R G
Được phát hành: (1999)

Introduction to model theory and to the metamathematics of algebra /
Bằng: Robinson Abraham
Được phát hành: (1965)

How to think about algorithms
Bằng: Edmonds, Jeff
Được phát hành: (2008)

Computational Complexity-A Modern Approach.
Bằng: Arora,Sanjeev, et al.
Được phát hành: (2009)

Recursiveness
Bằng: Eilenberg, Samuel
Được phát hành: (1970)

Recursiveness /
Bằng: Eilenberg, Samuel
Được phát hành: (1970)

How to think about Algorithms
Bằng: Jeff Edmonds
Được phát hành: (2008)

Metamathematics of fuzzy logic /
Bằng: Hajek, Petr
Được phát hành: (1998)

Metamathematics of algebraic systems /
Bằng: Malcev, A.I
Được phát hành: (1971)

Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
Bằng: Kleene, Stephen Cole
Được phát hành: (1980)

Computer Programming in Pascal
Bằng: Rajaraman V.
Được phát hành: (1984)

Visual basic 6 from the ground up
Bằng: Cornell, Gary
Được phát hành: (2000)

Sets,Models and Recursion Theory
Bằng: Crossley,John.N
Được phát hành: (1967)

Theory of recursive functions and effective computability
Bằng: Jr, Harley Rogers
Được phát hành: (1967)

Introduction to model theory and to the metamathematics of algebra /
Bằng: Robinson, Abraham
Được phát hành: (1965)

Computability and logic /
Bằng: Boolos, George S.
Được phát hành: (2002)

Computability and logic /
Bằng: Boolos, George
Được phát hành: (1974)

Introduction to data structures using C: a simplified approach /
Được phát hành: (2009)

General recursion theory /
Bằng: Fenstad, Jens E.
Được phát hành: (1980)

Higher recursion theory/
Bằng: Sacks, Gerald E
Được phát hành: (2016)

Recursive macroeconomic theory /
Bằng: Ljungqvist , Lars .
Được phát hành: (2004)

Metamathematics of first - order arithmetic /
Bằng: Hajek , Petr
Được phát hành: (1998)

Metamathematics, machines and Godel's proof.
Bằng: Shankar, N
Được phát hành: (1994)

Theory of program structures : schemes, semantics, verification /
Bằng: Greibach, Sheila
Được phát hành: (1975)