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
|  |
|