A profile of mathematical logic.

by DeLong, Howard, 1936-
Published 1971

Mathematical logic.

by Shoenfield, Joseph R. (Joseph Robert), 1927-
Published 1967

Philosophical grammar /

by Wittgenstein, Ludwig, 1889-1951
Published 1974

Mathematische Gesetze der Logik.

by Schmidt, H. Arnold
Published 1960

An algebraic introduction to mathematical logic : [By] Donald W. Barnes [and] John M. Mack /

by Barnes, Donald W.
Published 1975

Intensional and higher-order modal logic : with applications to Montague semantics.

by Gallin, Daniel
Published 1975

The logico-algebraic approach to quantum mechanics /

Published 1975

The logical enterprise /

Published 1975

The consistency of the axiom of choice : and of the generalized continuum-hypothesis with the axioms of set theory.

by Gödel, Kurt
Published 1940

Nachgelassene Schriften, und Wissenschaftlicher Briefwechsel : Hrsg. von Hans Hermes, Friedrich Kambartel [und] Friedrich Kaulbach.

by Frege, Gottlob, 1848-1925
Published 1969

ISILC Logic Conference : proceedings ... Edited by G.H. Muller, A. Oberschelp and K. Potthoff.

Published 1975

Les fondements des mathematiques : De la geometrie d'Euclide a la relativite generale et a l' intuitionisme.

by Gonseth, Ferdinand, 1890-
Published 1974

Symbolic logic.

by Venn, John, 1834-1923
Published 1971

Proofs and refutations : the logic of mathematical discovery /

by Lakatos, Imre, 1922-1974
Published 1976

Abhandlungen zur Philosophie der Mathematik /

by Bernays, Paul, 1888-
Published 1976

Reports on mathematical logic.

Published 1973

Essays in memory of Imre Lakatos /

Published 1976

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

Published 1988

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

Published 1986

8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings /

Published 1986