Učitavanje...

QR kȏd

Recursion theory for metamathematics.

Bibliografski detalji
Glavni autor:	Smullyan, Raymond M.
Format:	Printed Book
Jezik:	English
Izdano:	New York: Oxford University Press, 1993.
Teme:	Recursion theory.

Similar Items

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

Recursion sequences
od: Markushevich, A.I.ed
Izdano: (1975)

Recursion sequences
od: Markushevich
Izdano: (1975)

Recursive functions.-3rd ed.
od: Peter, Rozsa
Izdano: (1967)

Recursively enumerable sets and degrees.
od: Soare, Robert J.
Izdano: (1987)

Logic, sets and recursion
od: Causey, Robert L; Author
Izdano: (2010)

Logic, sets and recursion
od: Causey, Robert L.
Izdano: (2010)

Diagonalization and self-reference.
od: Smullyan, Raymond M.
Izdano: (1996)

Recursive function theory and logic
od: Yasuhara, Ann
Izdano: (1971)

Recursive functions in computer theory
od: Peter, Rozsa
Izdano: (1981)

Advanced programming and problem solving with Pascal
od: Scheider,G Michael
Izdano: (1987)

Computability Theory;Vol.62
od: Weber,Rebecca

Topological Dynamics
od: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Izdano: (1955)

Recursiveness
od: Eilenberg, Samuel
Izdano: (1970)

Elementary induction on abstract structures /
od: Moschovakis, Yiannis N.
Izdano: (1974)

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

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

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

How to think about algorithms
od: Edmonds, Jeff
Izdano: (2008)

Computational Complexity-A Modern Approach.
od: Arora,Sanjeev, i dr.
Izdano: (2009)

Recursiveness
od: Eilenberg, Samuel
Izdano: (1970)

Recursiveness /
od: Eilenberg, Samuel
Izdano: (1970)

How to think about Algorithms
od: Jeff Edmonds
Izdano: (2008)

Metamathematics of fuzzy logic /
od: Hajek, Petr
Izdano: (1998)

Metamathematics of algebraic systems /
od: Malcev, A.I
Izdano: (1971)

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

Computer Programming in Pascal
od: Rajaraman V.
Izdano: (1984)

Visual basic 6 from the ground up
od: Cornell, Gary
Izdano: (2000)

Sets,Models and Recursion Theory
od: Crossley,John.N
Izdano: (1967)

Theory of recursive functions and effective computability
od: Jr, Harley Rogers
Izdano: (1967)

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

Computability and logic /
od: Boolos, George S.
Izdano: (2002)

Computability and logic /
od: Boolos, George
Izdano: (1974)

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

General recursion theory /
od: Fenstad, Jens E.
Izdano: (1980)

Higher recursion theory/
od: Sacks, Gerald E
Izdano: (2016)

Recursive macroeconomic theory /
od: Ljungqvist , Lars .
Izdano: (2004)

Metamathematics of first - order arithmetic /
od: Hajek , Petr
Izdano: (1998)

Metamathematics, machines and Godel's proof.
od: Shankar, N
Izdano: (1994)

Theory of program structures : schemes, semantics, verification /
od: Greibach, Sheila
Izdano: (1975)