|
By Subject > Science and Mathematics > Mathematics > Logic
Recommendations...
|  | 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
|  |
|
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 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
|  |
|
Set Theory and the Continuum Hypothesis by Paul J. Cohen This exploration of a notorious mathematical problem is the work of the man who discovered the solution. The award-winning author employs intuitive explanations and detailed proofs in this self-contained treatment. 1966 edition. Copyright renewed 1994.
all books in Set Theory
|  |
|  | |
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
|  |
|  | Topoi: The Categorial Analysis of Logic by Robert Goldblatt A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers.
all books in Logic
|  |
|
Toposes and Local Set Theories: An Introduction by J. L. Bell This introduction to topos theory examines local set theories, fundamental properties of toposes, sheaves, locale-valued sets, and natural and real numbers in local set theories. 1988 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
|  |
|
| Products in Logic |  |  |  | The Axiom of Choice by Thomas J. Jech Comprehensive and self-contained text examines the axiom's relative strengths and consequences, including its consistency and independence, relation to permutation models, and examples and counterexamples of its use. 1973 edition.
|
|  | 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.
|
|  | Boolean Reasoning: The Logic of Boolean Equations by Frank Markham Brown Concise text begins with an overview of elementary mathematical concepts and outlines theory of Boolean algebras; defines operators for elimination, division, and expansion; covers syllogistic reasoning, solution of Boolean equations, and functional deduction.
|
|  | Computability and Unsolvability by Martin Davis Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, more.
|
| |  | Elementary Induction on Abstract Structures by Yiannis N. Moschovakis Well-written research monograph, recommended for students and professionals interested in model theory and definability theory. "Easy to use and a pleasure to read." — Bulletin of the American Mathematical Society. 1974 edition.
|
|  | 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.
|
|  | First Course in Mathematical Logic by Patrick Suppes, Shirley Hill Rigorous introduction is simple enough in presentation and context for wide range of students. Symbolizing sentences; logical inference; truth and validity; truth tables; terms, predicates, universal quantifiers; universal specification and laws of identity; more.
|
|  | 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.
|
|  | 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.
|
|  | Foundations and Fundamental Concepts of Mathematics by Howard Eves Third edition of popular undergraduate-level text offers historic overview, readable treatment of mathematics before Euclid, Euclid's Elements, non-Euclidean geometry, algebraic structure, formal axiomatics, sets, more. Problems, some with solutions. Bibliography.
|
|  | 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.
|
|  | Introduction to Mathematical Philosophy by Bertrand Russell Seminal work focuses on concepts of number, order, relations, limits and continuity, propositional functions, descriptions and classes, more. Clear, accessible excursion into realm where mathematics and philosophy meet.
|
| | |  | 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.
|
|  | Lapses in Mathematical Reasoning by V. M. Bradis, L. Minkovskii, A. K. Kharcheva Unique, effective system for teaching mathematical reasoning leads students toward clearly false conclusions. Students then analyze the reasoning lapse to correct the problem. Covers arithmetic, algebra, geometry, trigonometry, and approximate computations. 1963 edition.
|
|  | 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.
|
|  | 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.
|
| |
|
 |