 Introduction to Logic
by Alfred Tarski
This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.
all books in General Science
|  |
| |  The Problems of Philosophy
by Bertrand Russell
Accessible, thought-provoking study by Nobel Prize-winner considers distinction between appearance and reality, existence and nature of matter, idealism, inductive logic, intuitive knowledge, many other stimulating subjects.
all books in Western Philosophy and Religion
| |
|
 First-Order Logic
by Raymond M. Smullyan
This self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. The focus is on the tableau point of view. Includes 144 illustrations.
all books in Logic
| |
| | |
| | |
 Logic for Mathematicians
by J. Barkley Rosser
Examination of essential topics and theorems assumes no background in logic. "Undoubtedly a major addition to the literature of mathematical logic." — Bulletin of the American Mathematical Society. 1978 edition.
all books in Logic
| |
| |  Mysticism and Logic
by Bertrand Russell
Russell explains his theory of logical atomism in 10 brilliant essays, which include popular treatments of religious and educational issues as well as more technical examinations of problems of logic.
all books in Western Philosophy and Religion
| |
|
