Cover Image

Introduction to mathematical logic/

Main Author:	Church, Alonzo, 1903-1995
Format:	Book
Language:	English
Published:	Princeton: Princeton University Press, 1956
Subjects:	Mathematical logic Logic, Symbolic and mathematical Logic, Symbolic and mathematical > Problems, exercises, etc.

Similar Items

Introduction to mathematical logic/
by: Church, Alonzo, 1903-1995
Published: (1956)

Introduction to mathematical logic/
by: Church, Alonzo, 1903-
Published: (1999)

Popular lectures on mathematical logic /
by: Wang, Hao
Published: (1981)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

Ω-Bibliography of mathematical logic/
Published: (1987)

The elements of mathematical logic/
by: Rosenbloom, Paul C.
Published: (1950)

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

Solutions to the exercises in first course in mathematical logic/
by: Binford, Frederick
Published: (1965)

Mathematical logic /
by: Chiswell, Ian, 1948-
Published: (2007)

Mathematical logic and the foundations of mathematics/
by: Kneebone, G. T.
Published: (1963)

Logic: an introductory course/
by: Newton-Smith, W. H.
Published: (1985)

Formal logic/
by: Lorenzen, Paul, 1915-1994
Published: (1965)

Logic colloquium ʹ69 : proceedings of the Summer School and Colloquim in mathematical, logic, Manchester, August 1969 /
Published: (1971)

The essence of logic/
by: Kelly, John J., -1995
Published: (1997)

The logical problem of induction/
by: Wright, G. H. von 1916-
Published: (1957)

Advances in linear logic /
Published: (1995)

Mathematics and logic for digital devices
by: Culbertson, James Thomas, 1911-
Published: (1958)

Mathematics and logic for digital devices
by: Culbertson, James Thomas, 1911-
Published: (1958)

Logic Colloquium ʹ73 : proceedings of the Logic Colloquim Bristol, July 1973 /
Published: (1975)

Mathematical logic in the 20th century /
Published: (2003)

A first course in logic : an introduction to model theory, proof theory, computability, and complexity /
by: Hedman, Shawn
Published: (2006)

Mathematical logic and applications : Proceedings of the logic meeting, held in Kyoto, 1987 /
Published: (1989)

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

Introduction to mathematical logic /
by: Mendelson, Elliott.
Published: (2010)

Introduction to mathematical logic/
by: Mendelson, Elliott
Published: (1987)

Introduction to mathematical logic/
by: Mendelson, Elliott
Published: (1963)

Introduction to mathematical logic/
by: Hermes, Hans
Published: (1973)

Introduction to mathematical logic/
by: Mendelson, Elliott
Published: (1964)

Introduction to mathematical logic/
by: Mendelson, Elliott
Published: (1964)

Logic Colloquium ʹ80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
Published: (1982)

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

Logic Colloquium ʹ78 : proceedings of the colloquium held in Mons,August 1978 /
Published: (1979)

Logic Colloquium ʹ77 : Proceedings of a conference held in Wroclaw, Aug. 1-12, 1977 /
Published: (1978)

Logic Colloquium ʹ76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)

A concise introduction to mathematical logic /
by: Rautenberg, Wolfgang
Published: (2006)

Introduction to modern mathematics
by: Rasiowa, Helena
Published: (1973)

Logic with trees : an introduction to symbolic logic /
by: Howson, Colin.
Published: (1997)

Classical and fuzzy concepts in mathematical logic and applications/
by: Reghiχs, Mircea
Published: (1998)

Introduction to elementary mathematical logic= Elementarnoe vvedenie v matematicheskuiu logiku
by: Stolyar, A. A.Abram Aronovich
Published: (1983)

Cannot write session to /tmp/vufind_sessions/sess_af9s4lnifn116chtd0aj7dgii1