Logical frameworks for truth and abstraction : an axiomatic study /

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

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

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)

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)

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

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

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

Studies in constructive mathematics and mathematical logic /
Published: (1969)

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

Mathematical logic : foundations for information science /
by: Li, Wei, 1943 June-
Published: (2010)

Mathematical logic : a course with exercises /
by: Cori, René
Published: (2000)

Applied logic series.
Published: (1996)

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

Selected works in logic /
by: Skolem, Th. (Thoralf), 1887-1963
Published: (1970)

Logic made easy /
by: Warring, R. H. (Ronald Horace), 1920-1984
Published: (1985)

Language, logic, and mathematics /
by: Kilmister, C. W. (Clive William)
Published: (1967)

Logic, sets, and recursion /
by: Causey, Robert L.
Published: (2006)

Handbook of mathematical logic /
Published: (1977)

An introduction to mathematical logic /
by: Robison, Gerson B., 1909-
Published: (1969)

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