Theory of logical calculi : basic theory of consequence operations /

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

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

A course in mathematical logic for mathematicians /
by: Manin, I︠U︡. I.
Published: (2010)

Proof theory of modal logic /
Published: (1996)

Non-standard logics for automated reasoning /
Published: (1988)

Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (1983)

Logic colloquium '02: lecture notes in logic 27 : lecture notes in logic 27 /
Published: (2006)

Cambridge Summer School in Mathematical Logic : held in Cambridge, England, August 1-21, 1971 /
Published: (1973)

Logic colloquium '99 : lecture notes in logic 17 /
Published: (2004)

Mathematical Logic : an Introduction to Model Theory /
by: Lightstone, A. H.
Published: (1978)

Gentzen calculi for modal propositional logic /
by: Poggiolesi, Francesca, 1980-
Published: (2011)

Logic colloquium 2000 (hardcover) : lecture notes in logic, 19 /
Published: (2005)

Mathematical logic and formalized theories ; a survey of basic concepts and results.
by: Rogers, Robert, 1926-
Published: (1971)

Introduction to Mathematical Logic : Set Theory Computable Functions Model Theory /
by: Malitz, Jerome, 1936-
Published: (1979)

Elements of mathematical logic (Model theory)
by: Kreisel, Georg, et al.
Published: (1967)

An algebraic introduction to mathematical logic /
by: Barnes, D. W. (Donald W.), 1935-, et al.
Published: (1975)

Logic and Structure /
by: Dalen, Dirk
Published: (1994)

Logic and Structure /
by: Dalen, Dirk
Published: (1980)

Mathematical Logic /
by: Ebbinghaus, H.-D
Published: (1994)

The semantics and proof theory of the logic of bunched implications /
by: Pym, David J.
Published: (2002)

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

A Course in Model Theory : an Introduction to Contemporary Mathematical Logic /
by: Poizat, Bruno
Published: (2000)

Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)

Self-Reference and Modal Logic /
by: Smoryński, C.
Published: (1985)

[Omega]-bibliography of mathematical logic.
Published: (1987)

Many-sorted logic and its applications /
Published: (1993)

Notre Dame journal of formal logic.

Combinatory logic /
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1958)

The Calculi of symbolic logic, 1 /
Published: (1971)

Mathematical logic and formalized theories : a survey of basic concepts and results /
by: Rogers, Robert, 1926-2011
Published: (1974)

A survey of mathematical logic /
Published: (1963)

Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)

Set Theory of the Continuum /
by: Judah, H. (Haim)
Published: (1992)

An Outline of Set Theory /
by: Henle, James M.
Published: (1986)

Notes on Set Theory /
by: Moschovakis, Yiannis N.
Published: (1994)

Logic of mathematics : a modern course of classical logic /
by: Adamowicz, Zofia
Published: (1997)