e99 Store Help
Store Home  Search: Books - mathematical logic (Keywords)


Image Size:   Small  Medium  
  • Arts & Photography
  • Biographies & Memoirs
  • Business & Investing
  • Children's Books
  • Comics & Graphic Novels
  • Computers & Internet
  • Cooking, Food & Wine
  • Engineering
  • Entertainment
  • Gay & Lesbian
  • Health, Mind & Body
  • History
  • Home & Garden
  • Horror
  • Law
  • Literature & Fiction
  • Medicine
  • Mystery & Thrillers
  • Nonfiction
  • Outdoors & Nature
  • Parenting & Families
  • Professional & Technical
  • Reference
  • Religion & Spirituality
  • Romance
  • Science
  • Science Fiction & Fantasy
  • Sports
  • Teens
  • Travel
  • 1-10 of 12422 Results       Next
    $16.66 (16% off)
    A Beginner's Guide to
    $4.95 (17% off)
    My Best Mathematical
    $24.00
    A Beginner's Further
    $20.39 (32% off)
    An Introduction to Mathematical
    $21.21 (15% off)
    Mathematical Logic
    $48.99 (36% off)
    Friendly Introduction
    $47.94 (20% off)
    Mathematical Logic for
    $81.92
    A Mathematical Introduction
    $60.35 (15% off)
    Mathematical Logic
    $8.85 (32% off)
    First Order Mathematical


    1. A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)
    by Raymond M. Smullyan
    List Price:
    Price:
    You Save:
    US$19.95Dover Publications128871913846141BookABIS_BOOK2014-07-16Dover Publications2014-06-18Dover PublicationsA Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)220USD$2.20
    US$16.66
    US$3.29 (16%)
    Category: Paperback (2014-07-16)
    Publisher: Dover Publications
    ISBN: 0486492370
    Sales Rank: 342058
    Lowest New Price: $11.27
    Lowest Used Price: $12.34 (20 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems.
    Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers. 2014 edition.

    ... Read more

    Similar Items:
    1. The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs
    2. What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles (Dover Recreational Math)
    3. The Lady or the Tiger?: and Other Logic Puzzles (Dover Recreational Math)
    4. First-Order Logic (Dover Books on Mathematics)
    5. Introduction to Logic: and to the Methodology of Deductive Sciences (Dover Books on Mathematics)
    6. Satan, Cantor and Infinity: Mind-Boggling Puzzles (Dover Recreational Math)
    7. Alice in Puzzle-Land: A Carrollian Tale for Children Under Eighty (Dover Recreational Math)
    8. A Beginner's Further Guide to Mathematical Logic
    9. Book of Proof
    10. The Tao Is Silent .


    2. My Best Mathematical and Logic Puzzles (Dover Recreational Math)
    by Martin Gardner
    List Price:
    Price:
    You Save:
    US$5.95
    US$4.95
    US$1 (17%)
    Category: Paperback Brand: Dover Publications
    (1994-11-01)
    Publisher: Dover Publications
    ISBN: 0486281523
    Sales Rank: 7041
    Lowest New Price: $2.98
    Lowest Used Price: $1.51 (71 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    Over a period of 25 years as author of the Mathematical Games column for Scientific American, Martin Gardner devoted a column every six months or so to short math problems or puzzles. He was especially careful to present new and unfamiliar puzzles that had not been included in such classic collections as those by Sam Loyd and Henry Dudeney. Later, these puzzles were published in book collections, incorporating reader feedback on alternate solutions or interesting generalizations.
    The present volume contains a rich selection of 70 of the best of these brain teasers, in some cases including references to new developments related to the puzzle. Now enthusiasts can challenge their solving skills and rattle their egos with such stimulating mind-benders as The Returning Explorer, The Mutilated Chessboard, Scrambled Box Tops, The Fork in the Road, Bronx vs. Brooklyn, Touching Cigarettes, and 64 other problems involving logic and basic math. Solutions are included.

    ... Read more

    Features:

    • Dover Publications

    Similar Items:
    1. The Moscow Puzzles: 359 Mathematical Recreations (Dover Recreational Math)
    2. Of Course!: The Greatest Collection of Riddles & Brain Teasers For Expanding Your Mind
    3. Entertaining Mathematical Puzzles
    4. Perplexing Puzzles and Tantalizing Teasers (Dover Children's Activity Books)
    5. The Stanford Mathematics Problem Book: With Hints and Solutions (Dover Books on Mathematics)
    6. Challenging Logic Puzzles
    7. Entertaining Science Experiments with Everyday Objects
    8. Martin Gardner's Science Magic: Tricks and Puzzles (Dover Magic Books)
    9. The Colossal Book of Mathematics: Classic Puzzles, Paradoxes, and Problems
    10. Lateral Thinking Puzzlers .


    3. A Beginner's Further Guide to Mathematical Logic
    by Raymond M. Smullyan
    List Price:
    Price:
    US$24.00
    US$24.00
    Category: Paperback Brand: Dover Publications
    (2016-03-29)
    Publisher: World Scientific Publishing Company
    ISBN: 9814725722
    Sales Rank: 931497
    Lowest New Price: $20.68
    Lowest Used Price: $21.99 (7 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a "fein" chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a "decision machine." Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.

    ... Read more

    Similar Items:
    1. A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)
    2. First-Order Logic (Dover Books on Mathematics)
    3. The Induction Book (Aurora: Dover Modern Math Originals)
    4. Set Theory and the Continuum Problem (Dover Books on Mathematics)
    5. The Greatest Story Ever Told--So Far: Why Are We Here?
    6. Category Theory in Context (Aurora: Dover Modern Math Originals)
    7. Godel's Incompleteness Theorems (Oxford Logic Guides)
    8. Logic and Structure (Universitext)
    9. TENSORS made easy with SOLVED PROBLEMS
    10. Special Relativity and Classical Field Theory: The Theoretical Minimum .


    4. An Introduction to Mathematical Logic (Dover Books on Mathematics)
    by Richard E. Hodel
    List Price:
    Price:
    You Save:
    US$29.95Dover Publications15121209201406101BookABIS_BOOK2013-02-20Dover Publications2013-01-24Dover PublicationsAn Introduction to Mathematical Logic (Dover Books on Mathematics)190USD$1.90
    US$20.39
    US$9.56 (32%)
    Category: Paperback Brand: Dover Publications
    (2013-02-20)
    Publisher: Dover Publications
    ISBN: 0486497852
    Sales Rank: 411400
    Lowest New Price: $16.39
    Lowest Used Price: $14.00 (16 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy.
    An introductory section prepares readers for successive chapters on propositional logic and first-order languages and logic. Subsequent chapters shift in emphasis from an approach to logic from a mathematical point of view to the interplay between mathematics and logic. Topics include the theorems of Gödel, Church, and Tarski on incompleteness, undecidability, and indefinability; a rigorous treatment of recursive functions and recursive relations; computability theory; and Hilbert's Tenth Problem. Numerous exercises appear throughout the text, and an appendix offers helpful background on number theory.

    ... Read more

    Similar Items:
    1. Mathematical Logic (Dover Books on Mathematics)
    2. A Book of Set Theory (Dover Books on Mathematics)
    3. Introduction to Logic: and to the Methodology of Deductive Sciences (Dover Books on Mathematics)
    4. A Book of Abstract Algebra: Second Edition (Dover Books on Mathematics)
    5. A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)
    6. Book of Proof
    7. Introduction to Topology: Third Edition (Dover Books on Mathematics)
    8. An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
    9. An Introduction to Information Theory: Symbols, Signals and Noise (Dover Books on Mathematics)
    10. Concepts of Modern Mathematics (Dover Books on Mathematics) .


    5. Mathematical Logic (Dover Books on Mathematics)
    by Stephen Cole Kleene
    List Price:
    Price:
    You Save:
    US$24.95Dover Publications143270830805301BookABIS_BOOK2002-12-18Dover Publications2002-12-18Dover PublicationsMathematical Logic (Dover Books on Mathematics)182USD$1.82
    US$21.21
    US$3.74 (15%)
    Category: Paperback Brand: Dover Publications
    (2002-12-18)
    Publisher: Dover Publications
    ISBN: 0486425339
    Sales Rank: 153640
    Lowest New Price: $13.65
    Lowest Used Price: $9.11 (28 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilbert-type proof theory, and proof theory handled through derived rules.
    The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentieth-century logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.

    ... Read more

    Similar Items:
    1. Introduction to Logic: and to the Methodology of Deductive Sciences (Dover Books on Mathematics)
    2. First-Order Logic (Dover Books on Mathematics)
    3. Number Theory (Dover Books on Mathematics)
    4. Introduction to Metamathematics
    5. Introduction to Topology: Third Edition (Dover Books on Mathematics)
    6. Book of Proof
    7. An Introduction to Mathematical Logic (Dover Books on Mathematics)
    8. Introduction to Graph Theory (Dover Books on Mathematics)
    9. A Book of Set Theory (Dover Books on Mathematics)
    10. A Book of Abstract Algebra: Second Edition (Dover Books on Mathematics) .


    6. Friendly Introduction to Mathematical Logic, A
    by Christopher C. Leary
    List Price:
    Price:
    You Save:
    US$76.00
    US$48.99
    US$27.01 (36%)
    Category: Hardcover Brand: Dover Publications
    (1999-12-08)
    Publisher: Prentice Hall
    ISBN: 0130107050
    Sales Rank: 1341260
    Lowest New Price: $48.99
    Lowest Used Price: $20.00 (13 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    This user-friendly introduction to the key concepts of mathematical logic focuses on concepts that are used by mathematicians in every branch of the subject. Using an assessible, conversational style, it approaches the subject mathematically (with precise statements of theorems and correct proofs), exposing readers to the strength and power of mathematics, as well as its limitations, as they work through challenging and technical results. KEY TOPICS: Structures and Languages. Deductions. Comnpleteness and Compactness. Incompleteness--Groundwork. The Incompleteness Theorems. Set Theory. : For readers in mathematics or related fields who want to learn about the key concepts and main results of mathematical logic that are central to the understanding of mathematics as a whole.

    ... Read more

    Similar Items:
    1. A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)
    2. Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets
    3. First-Order Logic (Dover Books on Mathematics)
    4. Mathematical Logic (Oxford Texts in Logic)
    5. A Mathematical Introduction to Logic
    6. An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy)
    7. The Foundations of Mathematics
    8. Propositional and Predicate Calculus: A Model of Argument
    9. Philosophical Introduction to Set Theory (Dover Books on Mathematics)
    10. A Book of Set Theory (Dover Books on Mathematics) .


    7. Mathematical Logic for Computer Science
    by Mordechai Ben-Ari
    List Price:
    Price:
    You Save:
    US$59.95Springer134682925142610BookABIS_BOOK2012-06-17Springer2012-06-17SpringerMathematical Logic for Computer Science160USD$1.60
    US$47.94
    US$12.01 (20%)
    Category: Paperback Brand: Brand: Springer
    (2012-06-17)
    Publisher: Springer
    ISBN: 1447141288
    Sales Rank: 1337033
    Lowest New Price: $40.09
    Lowest Used Price: $27.34 (20 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.

    The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic
    for the verification of concurrent programs.

    The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.

    ... Read more

    Features:

    • Used Book in Good Condition

    Similar Items:
    1. Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
    2. Logic in Computer Science: Modelling and Reasoning about Systems
    3. The Algorithm Design Manual
    4. ML for the Working Programmer, 2nd Edition
    5. Artificial Intelligence: A Modern Approach (3rd Edition)
    6. Information Theory: A Tutorial Introduction
    7. Gödel, Escher, Bach: An Eternal Golden Braid
    8. Introduction to Algorithms, 3rd Edition (MIT Press)
    9. Practical Foundations for Programming Languages
    10. Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press) .


    8. A Mathematical Introduction to Logic, Second Edition
    by Herbert B. Enderton
    List Price:
    Price:
    US$113.00Academic Press13171009301656201BookABIS_BOOK2001-01-05Academic PressAcademic PressA Mathematical Introduction to Logic, Second Edition1887USD$18.87
    US$81.92
    Category: Hardcover Brand: Brand: Springer
    (2001-01-05)
    Publisher: Academic Press
    ISBN: 0122384520
    Sales Rank: 686491
    Lowest New Price: $70.20
    Lowest Used Price: $34.16 (38 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.

    * Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses.
    * Reduced mathematical rigour to fit the needs of undergraduate students

    ... Read more

    Similar Items:
    1. Elements of Set Theory
    2. Computability and Logic
    3. Abstract Algebra, 3rd Edition
    4. Naive Set Theory
    5. Introduction to Set Theory, Third Edition, Revised and Expanded (Chapman & Hall/CRC Pure and Applied Mathematics)
    6. Artificial Intelligence: A Modern Approach (3rd Edition)
    7. Introduction to Logic: and to the Methodology of Deductive Sciences (Dover Books on Mathematics)
    8. Linear Algebra Done Right (Undergraduate Texts in Mathematics)
    9. Computability Theory: An Introduction to Recursion Theory
    10. Model Theory: Third Edition (Dover Books on Mathematics) .


    9. Mathematical Logic (Oxford Texts in Logic)
    by Ian Chiswell, Wilfrid Hodges
    List Price:
    Price:
    You Save:
    US$71.00
    US$60.35
    US$10.65 (15%)
    Category: Paperback Brand: Oxford University Press USA
    (2007-07-12)
    Publisher: Oxford University Press
    ISBN: 0199215626
    Sales Rank: 1749487
    Lowest New Price: $47.29
    Lowest Used Price: $47.25 (11 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a derivation proving a given sequent can be tested mechanically, but there is no general mechanical test for the existence of a derivation proving the given sequent. The undecidability results are proved rigorously in an optional final chapter, assuming Matiyasevich's theorem characterising the computably enumerable relations. Rigorous proofs of the adequacy and completeness proofs of the relevant logics are provided, with careful attention to the languages involved. Optional sections discuss the classification of mathematical structures by first-order theories; the required theory of cardinality is developed from scratch. Throughout the book there are notes on historical aspects of the material, and connections with linguistics and computer science, and the discussion of syntax and semantics is influenced by modern linguistic approaches. Two basic themes in recent cognitive science studies of actual human reasoning are also introduced. Including extensive exercises and selected solutions, this text is ideal for students in logic, mathematics, philosophy, and computer science.

    ... Read more

    Features:

    • Oxford University Press USA

    Similar Items:
    1. A Friendly Introduction to Mathematical Logic
    2. An Introduction to Formal Logic
    3. Propositional and Predicate Calculus: A Model of Argument
    4. How to Prove It: A Structured Approach, 2nd Edition
    5. Deep Learning (Adaptive Computation and Machine Learning series)
    6. A Mathematical Introduction to Logic, Second Edition
    7. Elementary Number Theory (Springer Undergraduate Mathematics Series)
    8. Lambda-Calculus and Combinators: An Introduction
    9. Elements of Set Theory
    10. Intermediate Logic .


    10. First Order Mathematical Logic (Dover Books on Mathematics)
    by Angelo Margaris
    List Price:
    Price:
    You Save:
    US$12.95
    US$8.85
    US$4.1 (32%)
    Category: Paperback Brand: Oxford University Press USA
    (1990-03-01)
    Publisher: Dover Publications
    ISBN: 0486662691
    Sales Rank: 463744
    Lowest New Price: $8.85
    Lowest Used Price: $4.49 (22 Used Items)
    Canada | United Kingdom | Germany | France | Japan

    Product Description

    "Attractive and well-written introduction." — Journal of Symbolic Logic
    The logic that mathematicians use to prove their theorems is itself a part of mathematics, in the same way that algebra, analysis, and geometry are parts of mathematics. This attractive and well-written introduction to mathematical logic is aimed primarily at undergraduates with some background in college-level mathematics; however, little or no acquaintance with abstract mathematics is needed.
    Divided into three chapters, the book begins with a brief encounter of naïve set theory and logic for the beginner, and proceeds to set forth in elementary and intuitive form the themes developed formally and in detail later. In Chapter Two, the predicate calculus is developed as a formal axiomatic theory. The statement calculus, presented as a part of the predicate calculus, is treated in detail from the axiom schemes through the deduction theorem to the completeness theorem. Then the full predicate calculus is taken up again, and a smooth-running technique for proving theorem schemes is developed and exploited.
    Chapter Three is devoted to first-order theories, i.e., mathematical theories for which the predicate calculus serves as a base. Axioms and short developments are given for number theory and a few algebraic theories. Then the metamathematical notions of consistency, completeness, independence, categoricity, and decidability are discussed, and the predicate calculus is proved to be complete. The book concludes with an outline of Godel's incompleteness theorem.
    Ideal for a one-semester course, this concise text offers more detail and mathematically relevant examples than those available in elementary books on logic. Carefully chosen exercises, with selected answers, help students test their grasp of the material. For any student of mathematics, logic, or the interrelationship of the two, this book represents a thought-provoking introduction to the logical underpinnings of mathematical theory.
    "An excellent text." — Mathematical Reviews

    ... Read more

    Similar Items:
    1. First-Order Logic (Dover Books on Mathematics)
    2. Number Theory (Dover Books on Mathematics)
    3. An Introduction to Mathematical Logic (Dover Books on Mathematics)
    4. Mathematical Logic (Dover Books on Mathematics)
    5. An Introduction to Information Theory: Symbols, Signals and Noise (Dover Books on Mathematics)
    6. Introduction to Topology: Third Edition (Dover Books on Mathematics)
    7. Introduction to Logic: and to the Methodology of Deductive Sciences (Dover Books on Mathematics)
    8. Geometry: A Comprehensive Course (Dover Books on Mathematics)
    9. Introduction to Graph Theory (Dover Books on Mathematics)
    10. Games and Decisions: Introduction and Critical Survey (Dover Books on Mathematics) .


    1-10 of 12422 Results       Next
  • Arts & Photography
  • Biographies & Memoirs
  • Business & Investing
  • Children's Books
  • Comics & Graphic Novels
  • Computers & Internet
  • Cooking, Food & Wine
  • Engineering
  • Entertainment
  • Gay & Lesbian
  • Health, Mind & Body
  • History
  • Home & Garden
  • Horror
  • Law
  • Literature & Fiction
  • Medicine
  • Mystery & Thrillers
  • Nonfiction
  • Outdoors & Nature
  • Parenting & Families
  • Professional & Technical
  • Reference
  • Religion & Spirituality
  • Romance
  • Science
  • Science Fiction & Fantasy
  • Sports
  • Teens
  • Travel
  • Questions on ordering or shipping? click here for help.

    Copyright © 1998-2007 geometry.net

    contact: info@n2000.com