|  |  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
| |
|
 The Lady or the Tiger?: and Other Logic Puzzles
by Raymond M. Smullyan
Created by a renowned puzzle master, these whimsically themed challenges involve paradoxes about probability, time, and change; metapuzzles; and self-referentiality. Nineteen chapters advance in difficulty from relatively simple to highly complex. 1982 edition.
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
| |
|
| |  Mathematical Logic: A First Course
by Joel W. Robbin
This self-contained text will appeal to readers from diverse fields and varying backgrounds. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.
all books in Logic
| |
|
 The Elements of Mathematical Logic
by Paul C. Rosenbloom
This excellent introduction to mathematical logic provides a sound knowledge of the most important approaches, stressing the use of logical methods. "Reliable." — The Mathematical Gazette. 1950 edition.
all books in Logic
| |
| |  Essays in Experimental Logic
by John Dewey
14 of the American philosopher's most influential essays appear here, offering profound reflections on many different aspects of knowledge, reality, and epistemology, including the relationship of thought and its subject matter; the antecedents and stimuli of thought, data, and meanings; the objects of thought; and control of ideas by facts.
all books in Western Philosophy and Religion
| |
|
 A Profile of Mathematical Logic
by Howard DeLong
This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize-winning book was inspired by this work.
all books in Logic
| |
| |  Basic Concepts of Mathematics and Logic
by Michael C. Gemignani
Intended as a first look at mathematics at the college level, this text emphasizes logic and set theory — counting, numbers, functions, ordering, probabilities, and other components of higher mathematics.
all books in Logic
| |
|
| |  Mathematical Logic
by Stephen Cole Kleene
Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more.
all books in Logic
| |
|
| |  Introduction to Logic
by Patrick Suppes
Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Ideal for undergraduates.
all books in Logic
| |
|
 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
| |
| |  Mathematics and Logic
by Mark Kac, Stanislaw M. Ulam
Fascinating study of the origin and nature of mathematical thought, including relation of mathematics and science, 20th-century developments, impact of computers, more. Includes 34 illustrations. 1968 edition.
all books in Western Philosophy and Religion
| |
|
 First Order Mathematical Logic
by Angelo Margaris
Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. Also covers first-order theories, completeness theorem, Godel's incompleteness theorem, much more. Exercises. Bibliography.
all books in Logic
| |
| |  Test Your Logic
by George J. Summers
50 puzzles with new turns of thought and new subtleties of inference.
all books in General
| |
|
 Puzzles in Math and Logic
by Aaron J. Friedland
100 original problems in math and logic, featuring permutations, combinations, properties of numbers, algebra, solid and plane geometry, logic, and probability. Even accomplished mathematicians are likely to find some surprises here. 31 drawings.
all books in General
| |
| |  Symbolic Logic and the Game of Logic
by Lewis Carroll
Over 350 ingenious problems involving classical logic: logic expressed in symbols; syllogisms and the sorites diagrammed; logic as a game played with 2 diagrams and a set of counters.
all books in General
| |
|
 101 Puzzles in Thought and Logic
by C. R. Wylie, Jr.
Solve murder problems and robberies, see which fishermen are liars and how a blind man can identify color — purely by reasoning! Hours of mind-strengthening entertainment.
all books in General
| |
|
