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

Subjects:

Articicial intelligence : An mit perspective by Winston, Patrick Henry

Subjects: “…Logic machines.…”

Satan, Cantor, and Infinity : by Smullyan, Raymond M.

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:

Essays on definition

Subjects: “…Definition (Logic)…”

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

Subjects:

A formalization of set theory without variables by Tarski, Alfred

Subjects:

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

Subjects:

Induction in geometry by Golovina, L. I. (Lidiia Ivanovna)

Subjects:

Η χρήση της πλάγιας σκέψης by De Bono, Edward 1933-

Subjects:

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

Subjects:

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

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

P. Virgilii Maronis opera : by Virgil

Subjects:

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

Subjects:

Elements of scientific inquiry by Martin, Eric 1962-

Subjects:

Le nombre by Poirier, Rene

Subjects:

Aha! : by Gardner, Martin, 1914-2010

Subjects:

Le raisonnement mathematique by Daval, Roger, 1911-1994

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

Preuves et refutations : by Lakatos, Imre

Subjects: