Caricamento...

Codice QR

Recursion theory for metamathematics.

Dettagli Bibliografici
Autore principale:	Smullyan, Raymond M.
Natura:	Printed Book
Lingua:	English
Pubblicazione:	New York: Oxford University Press, 1993.
Soggetti:	Recursion theory.

Documenti analoghi

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

Recursion sequences
di: Markushevich, A.I.ed
Pubblicazione: (1975)

Recursion sequences
di: Markushevich
Pubblicazione: (1975)

Recursive functions.-3rd ed.
di: Peter, Rozsa
Pubblicazione: (1967)

Recursively enumerable sets and degrees.
di: Soare, Robert J.
Pubblicazione: (1987)

Logic, sets and recursion
di: Causey, Robert L; Author
Pubblicazione: (2010)

Logic, sets and recursion
di: Causey, Robert L.
Pubblicazione: (2010)

Diagonalization and self-reference.
di: Smullyan, Raymond M.
Pubblicazione: (1996)

Recursive function theory and logic
di: Yasuhara, Ann
Pubblicazione: (1971)

Recursive functions in computer theory
di: Peter, Rozsa
Pubblicazione: (1981)

Advanced programming and problem solving with Pascal
di: Scheider,G Michael
Pubblicazione: (1987)

Computability Theory;Vol.62
di: Weber,Rebecca

Topological Dynamics
di: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Pubblicazione: (1955)

Recursiveness
di: Eilenberg, Samuel
Pubblicazione: (1970)

Elementary induction on abstract structures /
di: Moschovakis, Yiannis N.
Pubblicazione: (1974)

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

How to solve it by computer
di: Dromey,R G
Pubblicazione: (1999)

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

How to think about algorithms
di: Edmonds, Jeff
Pubblicazione: (2008)

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

Recursiveness
di: Eilenberg, Samuel
Pubblicazione: (1970)

Recursiveness /
di: Eilenberg, Samuel
Pubblicazione: (1970)

How to think about Algorithms
di: Jeff Edmonds
Pubblicazione: (2008)

Metamathematics of fuzzy logic /
di: Hajek, Petr
Pubblicazione: (1998)

Metamathematics of algebraic systems /
di: Malcev, A.I
Pubblicazione: (1971)

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

Computer Programming in Pascal
di: Rajaraman V.
Pubblicazione: (1984)

Visual basic 6 from the ground up
di: Cornell, Gary
Pubblicazione: (2000)

Sets,Models and Recursion Theory
di: Crossley,John.N
Pubblicazione: (1967)

Theory of recursive functions and effective computability
di: Jr, Harley Rogers
Pubblicazione: (1967)

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

Computability and logic /
di: Boolos, George S.
Pubblicazione: (2002)

Computability and logic /
di: Boolos, George
Pubblicazione: (1974)

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

General recursion theory /
di: Fenstad, Jens E.
Pubblicazione: (1980)

Higher recursion theory/
di: Sacks, Gerald E
Pubblicazione: (2016)

Recursive macroeconomic theory /
di: Ljungqvist , Lars .
Pubblicazione: (2004)

Metamathematics of first - order arithmetic /
di: Hajek , Petr
Pubblicazione: (1998)

Metamathematics, machines and Godel's proof.
di: Shankar, N
Pubblicazione: (1994)

Theory of program structures : schemes, semantics, verification /
di: Greibach, Sheila
Pubblicazione: (1975)