Á lódáil...

QR Code

Recursion theory for metamathematics.

Sonraí Bibleagrafaíochta
Príomhúdar:	Smullyan, Raymond M.
Formáid:	Printed Book
Teanga:	English
Foilsithe:	New York: Oxford University Press, 1993.
Ábhair:	Recursion theory.

Míreanna Comhchosúla

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

Recursion sequences
le: Markushevich, A.I.ed
Foilsithe: (1975)

Recursion sequences
le: Markushevich
Foilsithe: (1975)

Recursive functions.-3rd ed.
le: Peter, Rozsa
Foilsithe: (1967)

Recursively enumerable sets and degrees.
le: Soare, Robert J.
Foilsithe: (1987)

Logic, sets and recursion
le: Causey, Robert L; Author
Foilsithe: (2010)

Logic, sets and recursion
le: Causey, Robert L.
Foilsithe: (2010)

Diagonalization and self-reference.
le: Smullyan, Raymond M.
Foilsithe: (1996)

Recursive function theory and logic
le: Yasuhara, Ann
Foilsithe: (1971)

Recursive functions in computer theory
le: Peter, Rozsa
Foilsithe: (1981)

Advanced programming and problem solving with Pascal
le: Scheider,G Michael
Foilsithe: (1987)

Computability Theory;Vol.62
le: Weber,Rebecca

Topological Dynamics
le: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Foilsithe: (1955)

Recursiveness
le: Eilenberg, Samuel
Foilsithe: (1970)

Elementary induction on abstract structures /
le: Moschovakis, Yiannis N.
Foilsithe: (1974)

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

How to solve it by computer
le: Dromey,R G
Foilsithe: (1999)

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

How to think about algorithms
le: Edmonds, Jeff
Foilsithe: (2008)

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

Recursiveness
le: Eilenberg, Samuel
Foilsithe: (1970)

Recursiveness /
le: Eilenberg, Samuel
Foilsithe: (1970)

How to think about Algorithms
le: Jeff Edmonds
Foilsithe: (2008)

Metamathematics of fuzzy logic /
le: Hajek, Petr
Foilsithe: (1998)

Metamathematics of algebraic systems /
le: Malcev, A.I
Foilsithe: (1971)

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

Computer Programming in Pascal
le: Rajaraman V.
Foilsithe: (1984)

Visual basic 6 from the ground up
le: Cornell, Gary
Foilsithe: (2000)

Sets,Models and Recursion Theory
le: Crossley,John.N
Foilsithe: (1967)

Theory of recursive functions and effective computability
le: Jr, Harley Rogers
Foilsithe: (1967)

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

Computability and logic /
le: Boolos, George S.
Foilsithe: (2002)

Computability and logic /
le: Boolos, George
Foilsithe: (1974)

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

General recursion theory /
le: Fenstad, Jens E.
Foilsithe: (1980)

Higher recursion theory/
le: Sacks, Gerald E
Foilsithe: (2016)

Recursive macroeconomic theory /
le: Ljungqvist , Lars .
Foilsithe: (2004)

Metamathematics of first - order arithmetic /
le: Hajek , Petr
Foilsithe: (1998)

Metamathematics, machines and Godel's proof.
le: Shankar, N
Foilsithe: (1994)

Theory of program structures : schemes, semantics, verification /
le: Greibach, Sheila
Foilsithe: (1975)