Proofs and refutations : by Lakatos, Imre, 1922-1974

Subjects:

Mathematics and plausible reasoning by Polya, George, 1887-1985

Subjects:

On group-theoretic decision problems and their classification by Miller, Charles F. 1941-

Subjects:

Sets, logic, and axiomatic theories by Stoll, Robert Roth

Subjects:

Οδηγός για τους μεγάλους πίνακες ζωγραφικής : by Lodwick, Marcus

Subjects:

Set theory and the continuum hypothesis by Cohen, Paul J. 1934-

Subjects:

Logic for computer scientists by Schoning, Uwe 1955-

Subjects: “…Logic, Symbolic and mathematical.…”

A formalization of set theory without variables by Tarski, Alfred

Subjects:

Two papers on the predicate calculus by Kleene, Stephen Cole 1909-

Subjects:

Logic for applications by Nerode, Anil, 1932-

Subjects:

Αποδείξεις & ανασκευές : by Lakatos, Imre, 1922-1974

Subjects:

The calculi of lambda-conversion by Church, Alonzo 1903-1995

Subjects: “…Logic, Symbolic and mathematical.…”

What is a logical system?

Subjects: “…Logic, Symbolic and mathematical.…”

Elements of Logic and Foundations of Mathematics in Problems by Marek, V. W. (V. Wiktor) 1943-

Subjects: “…Logic, Symbolic and mathematical.…”

Mathematical logic by Kleene, Stephen Cole, 1909-1994

Subjects: “…Logic, Symbolic and mathematical.…”

The logical and set-theoretical foundations of mathematics by Zulauf, Achim

Subjects: “…Logic, Symbolic and mathematical.…”

The logic of programming by Hehner, Eric C. R.

Subjects:

Les mathematiques et le raisonnement "plausible" by Polya, George, 1887-1985

Subjects:

Βυζαντινές εικόνες by Βοκοτόπουλος, Παναγιώτης Λ., 1930-

Subjects:

Elements of scientific inquiry by Martin, Eric 1962-

Subjects: