The bulletin of symbolic logic.

Mathematical logic and Hilbert's [lower-case epsilon]-symbol /
by: Leisenring, A. C.
Published: (1969)

Logical systems containing only a finite number of symbols.
by: Henkin, Leon
Published: (1967)

Archive for mathematical logic.

The review of modern logic.
Published: (2003)

Archive for mathematical logic.
Published: (1988)

Logic journal of the IGPL /
Published: (1997)

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

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

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

Symbolic logic and mechanical theorem proving /
by: Chang, Chin-Liang, 1937-
Published: (1973)

The bulletin of symbolic logic.
Published: (1995)

Modern logic.
Published: (1990)

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

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

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

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

Perspectives on the history of mathematical logic /
Published: (2008)

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

Mathematical logic /
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (1967)

Mathematical logic /
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1994)

Logic as algebra /
by: Halmos, Paul R. (Paul Richard), 1916-2006
Published: (1998)

Applied logic /
by: Sinisi, Vito F.
Published: (2000)

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

Mathematical logic.
by: Ponasse, Daniel
Published: (1973)

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

Mathematical logic /
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1984)

Mathematical logic /
by: Monk, J. Donald (James Donald), 1930-
Published: (1976)

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

In the light of logic /
by: Feferman, Solomon
Published: (1998)

Mathematical logic.
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)

Logic for mathematicians /
by: Hamilton, A. G., 1943-
Published: (1978)

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

Logic for computer scientists /
by: Schöning, Uwe, 1955-
Published: (1989)

Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 /
Published: (2004)

Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 /
Published: (2004)

Contributions to mathematical logic. : Proceedings of the Logic Colloquium, Hannover 1966 /
Published: (1968)