Laddar...

QR-kod

Recursion theory for metamathematics.

Bibliografiska uppgifter
Huvudupphovsman:	Smullyan, Raymond M.
Materialtyp:	Printed Book
Språk:	English
Publicerad:	New York: Oxford University Press, 1993.
Ämnen:	Recursion theory.

Liknande verk

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

Recursion sequences
av: Markushevich, A.I.ed
Publicerad: (1975)

Recursion sequences
av: Markushevich
Publicerad: (1975)

Recursive functions.-3rd ed.
av: Peter, Rozsa
Publicerad: (1967)

Recursively enumerable sets and degrees.
av: Soare, Robert J.
Publicerad: (1987)

Logic, sets and recursion
av: Causey, Robert L; Author
Publicerad: (2010)

Logic, sets and recursion
av: Causey, Robert L.
Publicerad: (2010)

Diagonalization and self-reference.
av: Smullyan, Raymond M.
Publicerad: (1996)

Recursive function theory and logic
av: Yasuhara, Ann
Publicerad: (1971)

Recursive functions in computer theory
av: Peter, Rozsa
Publicerad: (1981)

Advanced programming and problem solving with Pascal
av: Scheider,G Michael
Publicerad: (1987)

Computability Theory;Vol.62
av: Weber,Rebecca

Topological Dynamics
av: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Publicerad: (1955)

Recursiveness
av: Eilenberg, Samuel
Publicerad: (1970)

Elementary induction on abstract structures /
av: Moschovakis, Yiannis N.
Publicerad: (1974)

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

How to solve it by computer
av: Dromey,R G
Publicerad: (1999)

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

How to think about algorithms
av: Edmonds, Jeff
Publicerad: (2008)

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

Recursiveness
av: Eilenberg, Samuel
Publicerad: (1970)

Recursiveness /
av: Eilenberg, Samuel
Publicerad: (1970)

How to think about Algorithms
av: Jeff Edmonds
Publicerad: (2008)

Metamathematics of fuzzy logic /
av: Hajek, Petr
Publicerad: (1998)

Metamathematics of algebraic systems /
av: Malcev, A.I
Publicerad: (1971)

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

Computer Programming in Pascal
av: Rajaraman V.
Publicerad: (1984)

Visual basic 6 from the ground up
av: Cornell, Gary
Publicerad: (2000)

Sets,Models and Recursion Theory
av: Crossley,John.N
Publicerad: (1967)

Theory of recursive functions and effective computability
av: Jr, Harley Rogers
Publicerad: (1967)

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

Computability and logic /
av: Boolos, George S.
Publicerad: (2002)

Computability and logic /
av: Boolos, George
Publicerad: (1974)

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

General recursion theory /
av: Fenstad, Jens E.
Publicerad: (1980)

Higher recursion theory/
av: Sacks, Gerald E
Publicerad: (2016)

Recursive macroeconomic theory /
av: Ljungqvist , Lars .
Publicerad: (2004)

Metamathematics of first - order arithmetic /
av: Hajek , Petr
Publicerad: (1998)

Metamathematics, machines and Godel's proof.
av: Shankar, N
Publicerad: (1994)

Theory of program structures : schemes, semantics, verification /
av: Greibach, Sheila
Publicerad: (1975)