Introduction to mathematical logic: set theory, computable functions, model theory/

Main Author:	Malitz, Jerome
Format:	Book
Language:	English
Published:	Berlin: Springer-Verlag, 1979
Subjects:	Set theory Computable functions Model theory Logic, Symbolic and mathematical

Similar Items

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

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

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

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

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, logic, and their limitations/
by: Machover, Moshe
Published: (1996)

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

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

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

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

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

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

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

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

Logic, theory of sets and quantum mechanics/
by: Neumann, John Von
Published: (1961)

Set theory and its logic/
by: Quine, W. V.
Published: (1969)

Sets, logic, and categories /
by: Cameron, Peter J. 1947-
Published: (1999)

Set theory and the continuum hypothesis/
by: Cohen, Paul J., 1934-
Published: (1966)

Formal set theory/
by: Keene, Geoffrey Bourton
Published: (1974)

A theory of sets /
by: Morse, Anthony P.
Published: (1965)

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

Foundations of computing : system development with set theory and logic /
by: Scheurer, Thierry
Published: (1994)

Introductory logic and sets for computer scientists/
by: Nissanke, Nimal
Published: (1999)

Sets, logic, and axiomatic theories/
by: Stoll, Robert Roth
Published: (1961)

Toposes and local set theories : an introduction /
by: Bell, John Lane
Published: (1988)

A course in model theory: an introduction to contemporary mathematical logic/
by: Poizat, Bruno
Published: (2000)

Model-theoretic constructions in many-valued modal logic/
by: Ελευθερίου, Παντελής Ε.
Published: (2002)

An introduction to mathematical logic and type theory : to truth through proof /
by: Andrews, Peter B.
Published: (2002)

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

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

Grundbegriffe der mengenlehre und logik /
by: Hasse, Maria
Published: (1970)

Constructible sets with applications/
by: Mostowski, Andrzej
Published: (1969)

Computability and logic/
by: Cohen, Daniel E.
Published: (1987)

Model theory/
by: Hodges, Wilfrid, 1941-
Published: (1993)

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

Axiomatic set theory/
by: Suppes, Patrick, 1922-
Published: (1972)

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (1972)

Cannot write session to /tmp/vufind_sessions/sess_35nqbfv3pv4l4j8u8eq5knuuo2