Proofs and Algorithms - 9780857291202

Proofs and Algorithms: An Introduction to Logic and Computability

Dowek - Proofs and Algorithms An Introduction to Logic and Computabi - X555z

Computer Algorithms: Introduction to Design and Analysis

An Introduction to Logic and Scientific Method

Argument and Inference: An Introduction to Inductive Logic by Gregory Johnson (E

Argument and Inference: An Introduction to Inductive Logic (The MIT Press), John

An Introduction to Logic and Scientific Method (1934)