Lataa...

QR-koodi

Recursion theory for metamathematics.

Bibliografiset tiedot
Päätekijä:	Smullyan, Raymond M.
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	New York: Oxford University Press, 1993.
Aiheet:	Recursion theory.

Samankaltaisia teoksia

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

Recursion sequences
Tekijä: Markushevich, A.I.ed
Julkaistu: (1975)

Recursion sequences
Tekijä: Markushevich
Julkaistu: (1975)

Recursive functions.-3rd ed.
Tekijä: Peter, Rozsa
Julkaistu: (1967)

Recursively enumerable sets and degrees.
Tekijä: Soare, Robert J.
Julkaistu: (1987)

Logic, sets and recursion
Tekijä: Causey, Robert L; Author
Julkaistu: (2010)

Logic, sets and recursion
Tekijä: Causey, Robert L.
Julkaistu: (2010)

Diagonalization and self-reference.
Tekijä: Smullyan, Raymond M.
Julkaistu: (1996)

Recursive function theory and logic
Tekijä: Yasuhara, Ann
Julkaistu: (1971)

Recursive functions in computer theory
Tekijä: Peter, Rozsa
Julkaistu: (1981)

Advanced programming and problem solving with Pascal
Tekijä: Scheider,G Michael
Julkaistu: (1987)

Computability Theory;Vol.62
Tekijä: Weber,Rebecca

Topological Dynamics
Tekijä: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Julkaistu: (1955)

Recursiveness
Tekijä: Eilenberg, Samuel
Julkaistu: (1970)

Elementary induction on abstract structures /
Tekijä: Moschovakis, Yiannis N.
Julkaistu: (1974)

Cellular automata a discrete view of the world
Tekijä: Schiff, Joel L
Julkaistu: (2008)

How to solve it by computer
Tekijä: Dromey,R G
Julkaistu: (1999)

Introduction to model theory and to the metamathematics of algebra /
Tekijä: Robinson Abraham
Julkaistu: (1965)

How to think about algorithms
Tekijä: Edmonds, Jeff
Julkaistu: (2008)

Computational Complexity-A Modern Approach.
Tekijä: Arora,Sanjeev, et al.
Julkaistu: (2009)

Recursiveness
Tekijä: Eilenberg, Samuel
Julkaistu: (1970)

Recursiveness /
Tekijä: Eilenberg, Samuel
Julkaistu: (1970)

How to think about Algorithms
Tekijä: Jeff Edmonds
Julkaistu: (2008)

Metamathematics of fuzzy logic /
Tekijä: Hajek, Petr
Julkaistu: (1998)

Metamathematics of algebraic systems /
Tekijä: Malcev, A.I
Julkaistu: (1971)

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

Computer Programming in Pascal
Tekijä: Rajaraman V.
Julkaistu: (1984)

Visual basic 6 from the ground up
Tekijä: Cornell, Gary
Julkaistu: (2000)

Sets,Models and Recursion Theory
Tekijä: Crossley,John.N
Julkaistu: (1967)

Theory of recursive functions and effective computability
Tekijä: Jr, Harley Rogers
Julkaistu: (1967)

Introduction to model theory and to the metamathematics of algebra /
Tekijä: Robinson, Abraham
Julkaistu: (1965)

Computability and logic /
Tekijä: Boolos, George S.
Julkaistu: (2002)

Computability and logic /
Tekijä: Boolos, George
Julkaistu: (1974)

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

General recursion theory /
Tekijä: Fenstad, Jens E.
Julkaistu: (1980)

Higher recursion theory/
Tekijä: Sacks, Gerald E
Julkaistu: (2016)

Recursive macroeconomic theory /
Tekijä: Ljungqvist , Lars .
Julkaistu: (2004)

Metamathematics of first - order arithmetic /
Tekijä: Hajek , Petr
Julkaistu: (1998)

Metamathematics, machines and Godel's proof.
Tekijä: Shankar, N
Julkaistu: (1994)

Theory of program structures : schemes, semantics, verification /
Tekijä: Greibach, Sheila
Julkaistu: (1975)