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

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

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

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

Term logic with choice operator.
by: Hermes, Hans
Published: (1970)

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)

Conference in Mathematical Logic, London '70 /
Published: (1972)

Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983.
Published: (1984)

Cambridge Summer School in Mathematical Logic ; [papers] /
Published: (1973)

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

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Published: (1975)

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

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

Toposes, algebraic geometry and logic /
Published: (1972)

Proceedings of the Logic Colloquium : held in Aachen, July 18-23, 1983.
Published: (1984)

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)

Eine Termlogik mit Auswahloperator.
by: Hermes, Hans
Published: (1965)

Logique mathematique appliquee.
by: Freudenthal, Hans, 1905-1990
Published: (1958)

Posthumous writings /
by: Frege, Gottlob, 1848-1925
Published: (1979)

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

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)

Principles of intuitionism /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1969)

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

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

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

Logical forms : an introduction to philosophical logic /
by: Sainsbury, R. M. (Richard Mark)
Published: (1991)

Applied logic /
by: Hansen, Kaj Børge
Published: (1996)

Logical papers /
by: Leibniz, Gottfried Wilhelm, Freiherr von, 1646-1716
Published: (1966)

Meta-logics and logic programming /
Published: (1995)

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

Modelle der Mengenlehre. : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms /
by: Jensen, Ronald Björn
Published: (1967)

Term logic with choice operator.
by: Hermes, Hans
Published: (1970)

Logical options : an introduction to classical and alternative logics /
by: Bell, J. L. (John Lane)
Published: (2001)

Mathematical logic : proceedings of the first Brazilian Conference /
Published: (1978)

The logical problem of induction.
by: Wright, G. H. von (Georg Henrik), 1916-2003
Published: (1957)

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)