Foundations and Logic
There are 174 books in this aisle.
Browse the aisle by Title | by Author | by Price
See recently arrived used books in this aisle.
 New: $10.95 Trade Paper 
add to wish list |
|
Popular Lectures on Mathematical Logic
by Hao Wang  Publisher Comments Noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. After historical survey, lucid treatment of set theory, model theory, recursion theory and constructivism...
|
||||||
Used: $10.50 Trade Paper List Price $19.95
add to wish list |
|
Profile of Mathematical Logic (04 Edition)
by Howard Delong Publisher Comments Readers need only an acquaintance with high school–level math to appreciate this text, which explores the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic, the nature of the formal axiomatic method and its...
|
||||||
New: $19.95 Hardcover
add to wish list |
|
Godels Proof Rev Edition
by Ernest Nagel Publisher Comments In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. G...
|
||||||
Sale: $5.60 Trade Paper List Price $7.95
add to wish list |
|
Introduction to Elementary Mathematical Logic (Mathematics Series)
by Abram Arono Stolyar Publisher Comments Lucid, non-intimidating presentation of propositional logic, propositional calculus and predicate logic by Russian scholar. Topics of concern in a variety of fields, including computer science, systems analysis, linguistics, etc. Accessible to high...
|
||||||
New: $29.25 Trade Paper
add to wish list |
|
How to Prove It: A Structured Approach
by Daniel J. Velleman Publisher Comments This new edition of Dan Velleman's successful textbook contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software....
|
||||||
New: $49.95 Trade Paper List Price $56.95
add to wish list |
|
Non Standard Analysis Rev Edition
by Abraham Robinson Review Considered by many to be Abraham Robinson's magnum opus, this book offers an explanation of the development and application of non-standard analysis which grew out of Robinson's attempt to resolve the contradictions posed by infinitesimals within...
|
||||||
New: $52.00 Trade Paper
add to wish list |
|
Categories for Types (Cambridge Mathematical Textbooks)
by Roy L Crole Publisher Comments 'This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.'...
|
||||||
New: $25.00 Trade Paper
add to wish list |
|
CSLI Lecture Notes #141: Words, Proofs and Diagrams
by Dave Barker Plummer Publisher Comments The past twenty years have witnessed extensive collaborative research between computer scientists, logicians, linguists, philosophers, and psychologists. These interdisciplinary studies stem from the realization that researchers drawn from all fields are...
|
||||||
Sale: $160.00 Hardcover List Price $199.00
add to wish list |
|
Applied Logic #35: Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
by Walter Carnielli Publisher Comments Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as...
|
||||||
Used: $35.00 Hardcover List Price $137.95
add to wish list |
|
Introduction To Logic 12TH Edition
by Irving M Copi Synopsis ' Dedicated to the memory of Irving M. Copi, the twelfth edition of \"Introduction to Logic\" retains its breadth of coverage, while breaking new ground with a compelling new design and inclusion of new pedagogic features to help students in their study...
|
||||||
New: $82.00 Hardcover
add to wish list |
|
Computability Theory (Chapman & Hall/CRC Mathematics)
by S B Cooper Publisher Comments Computability theory originated with the seminal work of G??del, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets...
|
||||||
New: $90.00 Hardcover List Price $119.50
add to wish list |
|
Cambridge Tracts in Theoretical Computer Science #56: Rippling: Meta-Level Guidance for Mathematical Reasoning
by Alan Bundy Publisher Comments Rippling is a radically new technique for the automation of mathematical reasoning. It is widely applicable whenever a goal is to be proved from one or more syntactically similar givens. It was originally developed for inductive proofs, where the goal...
|
||||||
Used: $55.00 Hardcover List Price $120.00
add to wish list |
|
Categories for types
by Roy L Crole Publisher Comments This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides...
|
||||||
Sale: $10.98 Hardcover List Price $24.95
add to wish list |
|
Euclid in the Rainforest: Discovering Universal Truth in Logic and Math
by Joseph Mazur Publisher Comments How do we know that something is true? How do we know that things really are what they seem? Many people think math and science are the ultimate authorities on reality. Math defines abstract, universal truths; scientific truths are established by...
|
||||||
New: $12.95 Trade Paper
add to wish list |
|
The Elements of Mathematical Logic
by Paul C. Rosenbloom Publisher Comments An excellent introduction to mathematical logic, this book provides readers with a sound knowledge of the most important approaches to the subject, stressing the use of logical methods in attacking nontrivial problems. It covers the logic of classes, of...
|
||||||
Sale: $60.00 Hardcover List Price $75.00
add to wish list |
|
Lecture Notes in Logic #29: Logic Colloquium 2004
by Alessandro Andretta Publisher Comments Highlights of this volume from the 2004 Annual European Meeting of the Association for Symbolic Logic (ASL) include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; a...
|
||||||
Used: $10.50 Trade Paper List Price $35.00
add to wish list |
|
Discovering Mathematics: The Art of Investigation
by A Gardiner Publisher Comments Margaret Otlowski investigates the complex and controversial issue of active voluntary euthanasia. She critically examines the criminal law prohibition of medically administered active voluntary euthanasia in common law jurisdictions, and carefully looks...
|
||||||
Sale: $30.00 Trade Paper
add to wish list |
|
Doing Mathematics
by Martin H. Krieger Publisher Comments Includes bibliographical references (p. 401-433) and index....
|
||||||
Sale: $5.60 Trade Paper List Price $9.95
add to wish list |
|
First Order Mathematical Logic
by Angelo Margaris Publisher Comments Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. First-order theories are discussed in some detail, with special emphasis on number theory...
|
||||||
Sale: $8.40 Trade Paper List Price $15.95
add to wish list |
|
Basic Concepts of Mathematics and Logic
by Michael C Gemignani Publisher Comments This text emphasizes logic and the theory of sets. Students who take no further courses in the field will find it an excellent resource for developing an appreciation for the nature of mathematics. Others will discover the foundations for future studies &...
|
||||||
