Free worldwide delivery with every order
Welcome back (Sign out)

Mathematical Logic books

465 items
Sort & refine results
  • The GCHQ Puzzle Book by GCHQ
    The GCHQ Puzzle Book (Paperback) GCHQ

    Would GCHQ recruit you? Pit your wits against the people who cracked Enigma in the official puzzle book from Britain's secretive intelligence organisation . . . ...

    $16.41 $21.25
    More details
    Ready To Go
  • To Mock a Mockingbird: and Other Logic Puzzles by Raymond Smullyan
    To Mock a Mockingbird: and Other Logic Puzzles (Paperback) Raymond Smullyan

    In this entertaining and challenging collection of logic puzzles, Raymond Smullyan-author of Forever Undecided-continues to delight and astonish us with his gift for making available, in the thoroughly pleasurable form of puzzles, some of the most important mathematical thinking of our time.

    $13.90 $18.25
    More details
    Ready To Go
  • Reverse Mathematics by John Stillwell
    Reverse Mathematics (English, Hardback) John Stillwell

    This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Only in the last two hundred years have some of these questions been...

    $35.75
    More details
    Ready To Go
  • Logic: A Very Short Introduction by Graham Priest
    Logic: A Very Short Introduction (English, Paperback) Graham Priest

    Graham Priest shows that formal logic is a powerful, exciting part of modern philosophy - a tool for thinking about everything from the existence of God and the reality of time to paradoxes of probability. Explaining formal logic in simple, non-technical terms, this edition includes new sections on mathematical algorithms, axioms, and proofs.

    $10.38 $11.95
    More details
    Ready To Go
  • Computability and Logic by George S. Boolos
    Computability and Logic (English, Paperback) George S. Boolos, John P. Burgess

    Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in 2007.

    $35.25
    More details
    Ready To Go
  • How to Prove It by Daniel J. Velleman
    How to Prove It (English, Paperback) Daniel J. Velleman

    This new edition of Daniel J. Velleman's successful textbook contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.

    $35.19 $37.99
    More details
    Ready To Go
  • A Course on Basic Model Theory by Haimanti Sarbadhikari
    A Course on Basic Model Theory (English, Hardback) Haimanti Sarbadhikari, Shashi Mohan Srivastava

    This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. It is primarily aimed at graduate students in mathematical logic who want to specialise in model theory.

    $69.04 $84.99
    More details
    Ready To Go
  • The Canterbury Puzzles by Mrs. Henry Dudeney
    The Canterbury Puzzles (English, Paperback) Mrs. Henry Dudeney

    "Regular exercise is supposed to be as necessary for the brain as for the body. Many of us are very apt to suffer from mental cobwebs, and there is nothing equal to the solving of puzzles for sweeping them away." - Henry Dudeney (1847-1930) First published in 1907, Dudeney's The Canterbury Puzzles is a classic of the genre, based on characters from Chaucer's Tales. The book contains 114 puzzles...

    $13.00 $16.95
    More details
    Ready To Go
  • Philosophy of Mathematics in the Twentieth Century by Charles Parsons
    Philosophy of Mathematics in the Twentieth Century (English, Hardback) Charles Parsons

    In these selected essays, Charles Parsons surveys the contributions of philosophers and mathematicians who shaped the philosophy of mathematics over the past century: Brouwer, Hilbert, Bernays, Weyl, Godel, Russell, Quine, Putnam, Wang, and Tait.

    $47.57 $59.50
    More details
    Ready To Go
  • Combinatorics and Graph Theory by John M. Harris
    Combinatorics and Graph Theory (English, Hardback) John M. Harris, Jeffry L. Hirst

    The second edition of this text on combinatorics and graph theory includes new material on an array topics ranging from Eulerian trails to combinatorial geometry to the pigeonhole principle. There are also numerous new exercises throughout the book.

    $27.66 $48.40
    More details
    Ready To Go
  • The Pea and the Sun by Leonard M. Wapner
    The Pea and the Sun (English, Paperback) Leonard M. Wapner

    A hardcover edition.

    $32.95
    More details
    Ready To Go
  • Quantum Physics and Linguistics by Chris Heunen
    Quantum Physics and Linguistics (English, Hardback) Chris Heunen

    An interdisciplinary attempt to bring together physicists and linguists who use the same compositional mathematical methods. Although seemingly unrelated, due to the complexity and dynamics of the compound phenomena they aim to model, and also advances in their high level methods, these fields have come to share a common mathematical structure.

    $93.83
    More details
    Ready To Go
  • The Great Formal Machinery Works by Jan von Plato
    The Great Formal Machinery Works (English, Hardback) Jan von Plato

    The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution....

    $44.37
    More details
    Ready To Go
  • The Elements of Advanced Mathematics, Fourth Edition by Steven G. Krantz
    The Elements of Advanced Mathematics, Fourth Edition (English, Hardback) Steven G. Krantz

    The Elements of Advanced Mathematics, Fourth Edition is the latest edition of the author's bestselling series of texts. Expanding on previous editions, the new Edition continues to provide students with a better understanding of proofs, a core concept for higher level mathematics. To meet the needs of instructors, the text is aligned directly with course requirements....

    $109.35
    More details
    Ready To Go
  • Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method by Carlo Cellucci
    Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method (English, Hardback) Carlo Cellucci

    This book examines the limitations of mathematical logic and proposes a new approach intended to overcome them. Formulates new rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition and diagrams.

    $162.21
    More details
    Ready To Go
  • Groups, Languages and Automata by Derek F. Holt
    Groups, Languages and Automata (English, Paperback) Derek F. Holt, Sarah Rees

    A reference book discussing applications of formal language theory to group theory, particularly geometric and computational group theory.

    $41.80
    More details
    Ready To Go
  • Magic Garden Of George B And Other Logic Puzzles, The by Raymond M. Smullyan
    Magic Garden Of George B And Other Logic Puzzles, The (English, Paperback) Raymond M. Smullyan

    The author presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all!

    $32.77
    More details
    Ready To Go
  • The Homotopy Theory of ( ,1)-Categories by Julia E. Bergner
    The Homotopy Theory of ( ,1)-Categories (English, Paperback) Julia E. Bergner

    An introductory treatment to the homotopy theory of homotopical categories, presenting several models and comparisons between them.

    $42.04
    More details
    Ready To Go
  • Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang
    Symbolic Logic and Mechanical Theorem Proving (English, Hardback) Chin-Liang Chang, Richard Char-Tung Lee

    Contains an introduction to symbolic logic and a discussion of mechanical theorem proving its applications. This book covers an introduction to symbolic logic and introduces techniques in mechanical theorem proving. It shows how theorem proving can be applied to various areas such as question answering, problem solving, and others.

    $73.69
    More details
    Ready To Go
  • Synthetic Differential Topology by Marta Bunge
    Synthetic Differential Topology (English, Paperback) Marta Bunge, Felipe Gago

    Represents the state of the art in the new field of synthetic differential topology.

    $83.49
    More details
    Ready To Go