Fundamentals of mathematical logic /

Main Author:	Hinman, Peter G.
Format:	Book
Language:	English
Published:	Wellesley, Mass. : A.K. Peters, c2005.
Subjects:	Logic, Symbolic and mathematical Model theory Set theory Recursion theory

Similar Items

Fundamentals of mathematical logic /
by: Hinman, Peter G
Published: (2005)

Lectures in logic and set theory /
by: Tourlakis, George J.
Published: (2003)

Computational prospects of infinity
Published: (2008)

Mathematical logic : an introduction to model theory /
by: Lightstone, A. H.
Published: (1978)

Foundations of logic and mathematics : applications to computer science and cryptography /
by: Nievergelt, Yves
Published: (2002)

Το άπειρο και ο νους/
by: Rucker, Rudy von Bitter, 1946-
Published: (1999)

Infinity and truth /

Logic without borders /

Computability and logic /
by: Boolos, George
Published: (1989)

Éléments de logique mathématique : théorie des modèles /
by: Kreisel, Georg
Published: (1967)

Model theory/
by: Chang, Chen Chung, 1927-
Published: (1990)

Introduction to mathematical logic
by: Mendelson, Elliot
Published: (1997)

The logical and set-theoretical foundations of mathematics /
by: Zulauf, A.
Published: (1969)

Thinking recursively with Java /
by: Roberts, Eric
Published: (2006)

Algorithmics : theory and practice /
by: Brassard, Gilles, 1955-
Published: (1988)

Thinking recursively /
by: Roberts, Eric
Published: (1986)

Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (1993)

Higher recursion theory/
by: Sacks, Gerald E.
Published: (1990)

General recursion theory: an axiomatic approach/
by: Fenstad, Jens Erik
Published: (1980)

Théorie de la récursivité pour la métamathémathique /
by: Smullyan, Raymond M.
Published: (1993)

Proofs and fundamentals : a first course in abstract mathematics /
by: Bloch, Ethan D., 1956-
Published: (2011)

Intuitionistic logic, model theory and forcing/
by: Fitting, Melvin, 1942-
Published: (1969)

Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar, 1981-85 /
Published: (1988)

Computability, enumerability, unsolvability : directions in recursion theory /
Published: (1996)

Meaning and existence in mathematics/
by: Castonguay, Charles
Published: (1972)

Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] /
Published: (1976)

Introduction to mathematical logic: set theory, computable functions, model theory/
by: Malitz, Jerome
Published: (1979)

Conceptual models in mathematics: sets, logic and probability/
by: Hirst, Keith Edwin
Published: (1971)

Set theory and logic/
by: Fraenkel, Abraham Adolf, 1891-1965
Published: (1966)

Set theory and logic/
by: Stoll, Robert Roth
Published: (1963)

Set theory and logic/
by: Stoll, Robert Roth
Published: (1961)

Notes on logic and set theory/
by: Johnstone, P. T.
Published: (1987)

Set theory and logic/
by: Stoll, Robert Roth
Published: (1979)

Set theory, logic, and their limitations/
by: Machover, Moshe
Published: (1996)

Introduction to logic and sets /
by: Christian, Robert R.
Published: (1965)

Logic, computers and sets/
by: Wang, Hao
Published: (1970)

Mathematical thinking and writing : a transition to abstract mathematics /
by: Maddox, Randall B.
Published: (2002)

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Published: (1975)

Set theory and logic/
by: Stoll, Robert R.
Published: (1963)

Computability, an introduction to recursive function theory /
by: Cutland, Nigel
Published: (1980)

Cannot write session to /tmp/vufind_sessions/sess_4b9jc237knos0mo9lncvpd5st5