Posthumous writings /

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

Lectures on non-standard analysis /
by: Machover, Moshé
Published: (1969)

A theory of sets /
by: Morse, Anthony P. (Anthony Perry)
Published: (1965)

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

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

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)

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

Selected mathematical papers of Axel Thue /
by: Thue, Axel, 1863-1922
Published: (1977)

Logical writings /
by: Herbrand, Jacques, 1908-1931
Published: (1971)

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

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

Conceptual notation, and related articles /
by: Frege, Gottlob, 1848-1925
Published: (1972)

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

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)

Collected works /
by: Gödel, Kurt
Published: (1986)

Collected papers on mathematics, logic, and philosophy /
by: Frege, Gottlob, 1848-1925
Published: (1984)

Kleine Schriften /
by: Frege, Gottlob, 1848-1925
Published: (1967)

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

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

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

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