Degrees of Unsolvability /

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

The development of mathematical logic : and of the logical positivism in Poland between the two wars.

by Jordan, Abigniew Antoni
Published 1945

Studies in logic and probability.

by Boole, George, 1815-1864
Published 1952

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic.

by Beth, Evert Willem, 1908-1964
Published 1962

Principles of mathematical logic : by D.Hilbert and W.Ackermann. Translated from the German by Lewis M.Hammond [and others] Ed.by Robert E.Luce.

by Hilbert, David, 1862-1943
Published 1950

Symbolic logic and the real number system : an introduction to the foundations of number systems.

by Lightstone, Albert Harold
Published 1966

Mathematical logic and the foundations of mathematics : an introductory survey.

by Kneebone, G. T.
Published 1963

First course in mathematical logic /

by Suppes, Patrick, 1922-
Published 1964

Introduction to mathematical logic.

by Church, Alonzo, 1903-
Published 1956

Precis de logique mathematique.

by Bochenski, Joseph M., 1902-
Published 1948

Introduction to the foundations of mathematics.

by Wilder, Raymond L. (Raymond Louis), 1896-
Published 1952

History of mathematical logic from Leibniz to Peano : [By] N.I. Styazhkin.

by Stiazhkin, N. I.
Published 1969

Development of mathematical logic.

by Goodstein, R. L. (Reuben Louis), 1912-
Published 1971

From Frege to Godel : a source book in mathematical logic, 1879-1931.

by Van Heijenoort, Jean, 1912-
Published 1967

The algebra of logic : by Louis Couturat authorized English translation by Lydia Gillingham Robinson with a preface by Philip E.B. Jourdain.

by Couturat, Louis, 1868-1914
Published 1914

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /

Published 1982

Logic for problem solving /

by Kowalski, Robert
Published 1979

Mathematical theory of program correctness /

by Bakker, J. W. de (Jacobus Willem), 1939-
Published 1980

Handbook of mathematical logic /

Published 1977

Logic Colloquium '77 : proceedings of the colloquium held in Wrocaw, August 1977 /

Published 1978