Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 /

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

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Published: (1982)

Logic Colloquium : symposium on logic held at Boston, 1972-73 /
Published: (1975)

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Published: (1989)

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /
Published: (1981)

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

Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic /
Published: (1968)

Logic year 1979-80, the University of Connecticut, USA /
Published: (1981)

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Published: (1988)

Algebraic methods of mathematical logic
by: Rieger, Ladislav, 1916-1963
Published: (1967)

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Published: (1987)

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Published: (1982)

Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday /
Published: (2004)

Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 /
Published: (1978)

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Published: (1986)

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

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

Geometric calculus : according to the Ausdehnungslehre of H. Grassmann /
by: Peano, Giuseppe, 1858-1932
Published: (2000)

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Published: (1989)

Mathematical logic /
by: Tourlakis, George J.
Published: (2008)

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)

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Published: (1983)

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

A survey of mathematical logic /
Published: (1963)

Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia /
Published: (1975)

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

Ancient formal logic /
by: Bochenski, Joseph M., 1902-1995
Published: (1951)

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Published: (1989)

A computational logic handbook /
by: Boyer, Robert S.
Published: (1988)

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Published: (1982)

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

Mechanical logic in three-dimensional space /
by: Auletta, Gennaro
Published: (2013)

Proceedings of the Second Scandinavian Logic Symposium
Published: (1971)

Something to reckon with : the logic of terms /
by: Englebretsen, George
Published: (1996)

A survey of symbolic logic,
by: Lewis, Clarence Irving, 1883-1964
Published: (1918)

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Published: (1970)