Logic of programs : workshop, ETH Zürich, May-July 1979 /

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

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

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

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

Logic of domains /
by: Zhang, Guo-Qiang, 1960-
Published: (1991)

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

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

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
Published: (1994)

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 /
Published: (1989)

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

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

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

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

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

Proof and computation /
Published: (1995)

Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
Published: (2001)

Nomological statements and admissible operations /
Published: (1954)

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

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

Relation, formule logique, compacité, complétude / par Roland Fraïssé.
by: Fraïssé, Roland
Published: (1967)

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

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

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /
Published: (1990)

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

A survey of mathematical logic /
Published: (1963)

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

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
Published: (1988)

The norm of truth : an introduction to the philosophy of logic /
by: Engel, Pascal, 1954-
Published: (1991)

Program development in computational logic : a decade of research advances in logic-based program development /
Published: (2004)

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)

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

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

Handbook of mathematical logic /
Published: (1977)

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

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