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

Mathematical Logic books

677 items
Sort & refine results
  • The GCHQ Puzzle Book by GCHQ
    The GCHQ Puzzle Book (English, Paperback)

    GCHQ is a top-secret intelligence and security agency which recruits some of the very brightest minds. Over the years, their codebreakers have helped keep England safe, from the Bletchley Park breakthroughs of WWII to the modern-day threat of cyberattack. So it comes as no surprise that, even in their time off, the staff at GCHQ love a good puzzle. Whether they're recruiting new staff or...

    $15.95 $19.95
    More details
    Ready To Go
  • Hex by Ryan B. Hayward
    Hex (English, Paperback)

    History and mathematics of a game invented in 1942.

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

    "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...

    $21.38 $26.22
    More details
    Ready To Go
  • The GCHQ Puzzle Book II by GCHQ
    The GCHQ Puzzle Book II (English, Paperback)

    Challenge yourself with the GCHQ team's long-awaited second puzzle book - full of both harder and easier brain teasers. ...

    $15.58 $17.03
    More details
    Ready To Go
  • Computability and Logic by George S. Boolos
    Computability and Logic (English, Paperback)

    Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This fifth edition was first published in 2007.

    $31.16 $34.99
    More details
    Ready To Go
  • Higher Topos Theory (AM-170) by Jacob Lurie
    Higher Topos Theory (AM-170) (English, Paperback)

    Higher category theory is generally regarded as technical and forbidding, but part of it is considerably more tractable: the theory of infinity-categories, higher categories in which all higher morphisms are assumed to be invertible. This title presents the foundations of this theory.

    $77.56 $91.78
    More details
    Ready To Go
  • Logic In Wonderland: An Introduction To Logic Through Reading Alice's Adventures In Wonderland - Teacher's Guidebook by Nitsa Movshovitz-Hadar
    Logic In Wonderland: An Introduction To Logic Through Reading Alice's Adventures In Wonderland - Teacher's Guidebook (English, Paperback)

    Ordinary textbooks for such a course are purely mathematical in their nature, and students usually find the course difficult, boring and very technical. Our approach motivates the students through reading the classic novel Alice's Adventures in Wonderland, written by Lewis Caroll who was not only one of the best storytellers but also a logician.

    $47.06
    More details
    Ready To Go
  • How to Solve It by Georg Polya
    How to Solve It (English, Paperback)

    A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be "reasoned" out?from building a bridge to winning a game of anagrams. Generations of readers have...

    $15.69 $19.65
    More details
    Ready To Go
  • The Ultimate Mathematical Challenge by The UK Mathematics Trust
    The Ultimate Mathematical Challenge (English, Paperback)

    'Be warned: cracking puzzles releases a very addictive drug.' - Marcus du Sautoy Have you ever wanted to be a puzzle pro or logical luminary? Well, look no further!

    $14.04 $16.99
    More details
    Ready To Go
  • Modelling Computing Systems by Faron Moller
    Modelling Computing Systems (English, Paperback)

    Reviewing concepts of games and strategies, this book provides a paradigm for understanding computation, explaining the mathematics and modeling of computing systems through exercises and examples. Discusses standard topics, games and winning strategies.

    $33.05 $69.99
    More details
    Ready To Go
  • To Mock a Mockingbird: and Other Logic Puzzles by Raymond Smullyan
    To Mock a Mockingbird: and Other Logic Puzzles (English, Paperback)

    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.

    $11.90 $18.25
    More details
  • Introduction to Formal Philosophy by Sven Ove Hansson
    Introduction to Formal Philosophy (English, Hardback)

    This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles.

    $79.66 $89.99
    More details
    Ready To Go
  • Category Theory by Steve Awodey
    Category Theory (English, Paperback)

    A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises.

    $48.10 $62.00
    More details
    Ready To Go
  • Alan Turing by Dermot Turing
    Alan Turing (English, Paperback)

    Alan Turing - a mathematician, codebreaker, computer scientist and biologist. His codebreaking work at Bletchley Park was so significant it helped to shorten the Second World War. This book, with recent research by his nephew, Dermot Turing, has unearthed a fresh perspective, and here his story is condensed into a short, accessible Pitkin guide.

    $9.01
    More details
    Ready To Go
  • A Course on Basic Model Theory by Haimanti Sarbadhikari
    A Course on Basic Model Theory (English, Hardback)

    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.

    $60.45 $84.99
    More details
    Ready To Go
  • Methods of Solving Number Theory Problems by Ellina Grigorieva
    Methods of Solving Number Theory Problems (English, Hardback)

    A special case of Waring's problem as a representation of a number by the sum of the squares or cubes of other numbers is covered, as well as quadratic residuals, Legendre and Jacobi symbols, and interesting word problems related to the properties of numbers.

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

    Daniel J. Velleman's lively text prepares students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. This new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.

    $31.23 $37.99
    More details
    Ready To Go
  • The Foundations of Mathematics by Ian Stewart
    The Foundations of Mathematics (English, Paperback)

    The transition from school to university mathematics is seldom straightforward. Students are faced with a disconnect between the algorithmic and informal attitude to mathematics at school, versus a new emphasis on proof, based on logic, and a more abstract development of general concepts, based on set theory. This book bridges the divide.

    $23.68 $24.95
    More details
    Ready To Go
  • A Beginner's Guide to Mathematical Logic by Raymond Smullyan
    A Beginner's Guide to Mathematical Logic (English, Paperback)

    Combining stories of great writers and philosophers with quotations and riddles, this original text for first courses in mathematical logic examines problems related to proofs, propositional logic and first-order logic, undecidability, and other topics. 2014 edition.

    $14.48 $19.95
    More details
    Ready To Go
  • Sets, Logic and Maths for Computing by David Makinson
    Sets, Logic and Maths for Computing (English, Paperback)

    This easy-to-follow book introduces the mathematical language, knowledge and problem-solving skills needed for the study of computing. The language is both qualitative and quantitative, and includes basic notions of logic used for representation and proof.

    $31.82 $39.95
    More details
    Ready To Go