Grundlagen der Mathematik /

by Hilbert, David, 1862-1943
Published 1968

Temporal logic /

by Rescher, Nicholas
Published 1971

Computation, logic, philosophy : a collection of essays /

by Wang, Hao, 1921-
Published 1990

Intuitionism and proof theory : Proceedings of the summer conference at Buffalo, N.Y., 1968 /

Published 1970

Notes on logic /

by Lyndon, Roger C. (Roger Conant), 1917-
Published 1966

Foundations of mathematical logic.

by Curry, Haskell B. (Haskell Brooks), 1900-
Published 1963

The theory of probability : an inquiry into the logical and mathematical foundations of the calculus of probability /

by Reichenbach, Hans, 1891-1953
Published 1949

Mathematics and plausible reasoning.

by Pólya, George, 1887-1985
Published 1954

Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 /

Published 1990

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings /

Published 1990

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings /

Published 1990

Algebra of classes.

by Khan, Wahidullah
Published 1962

Logical forms : an introduction to philosophical logic /

by Sainsbury, R. M. (Richard Mark)
Published 1991

Intuitionism : an introduction /

by Heyting, A. (Arend), 1898-
Published 1956

An essay in modal logic /

by Wright, G. H. von (Georg Henrik), 1916-
Published 1951

Notes on philosophy, probability and mathematics /

by Ramsey, F. P. (Frank Plumpton), 1903-1930
Published 1991

The metaphysics of the Tractatus /

by Carruthers, Peter, 1952-
Published 1990

Contributions to the investigation of pure strict implication /

by Meredith, C. A.
Published 1956

Mathematical logic for computer science /

by Lu, Chung-wan
Published 1989

Constructive order types /

by Crossley, John N.
Published 1969