Christmas Inspiration

Showing results in Mathematical Logic

2,970 items
Sort & refine results
  • Beyond Infinity
    Beyond Infinity (English, Paperback) Eugenia Cheng

    SHORTLISTED FOR THE 2017 ROYAL SOCIETY SCIENCE BOOK PRIZE ...

    $18.31
    More details
    Ready To Go
  • Alan Turing
    Alan Turing (English, Paperback) Dermot Turing

    Alan Turing

    $11.25
    More details
    Ready To Go
  • An Introduction to Non-Classical Logic
    An Introduction to Non-Classical Logic (English, Paperback) Graham Priest

    This book clearly introduces the major topics in logic and their relation to current philosophical issues.

    $39.68 $43.99
    More details
    Ready To Go
  • The Canterbury Puzzles
    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...

    $17.06
    More details
    Ready To Go
  • To Mock a Mockingbird: and Other Logic Puzzles
    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.

    $14.23 $18.25
    More details
    Ready To Go
  • How to Prove It
    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.

    $38.20
    More details
    Ready To Go
  • Logic: A Very Short Introduction
    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.

    $13.98
    More details
    Ready To Go
  • The GCHQ Puzzle Book
    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 . . . THE ULTIMATE SECRET SANTA GIFT for the work colleague who can be persuaded to quit and become a spy. WINNER OF 'STOCKING FILLER OF THE YEAR AWARD' THE GUARDIAN --------------------------------Odd word outThe themes in the...

    $16.74 $21.25
    More details
  • Prof: Alan Turing Decoded
    Prof: Alan Turing Decoded (English, Paperback) Dermot Turing

    Alan Turing was an extraordinary man who crammed into a life of only 42 years the careers of mathematician, codebreaker, computer scientist, and biologist. He is widely regarded as a war hero grossly mistreated by hiscountry, and it has become hard to disentangle the real man from the story. It is easy to cast him as a misfit, the stereotypical professor. But Turing was never a professor, his...

    $15.39 $17.95
    More details
    Ready To Go
  • Mathematical Logic for Computer Science
    Mathematical Logic for Computer Science (English, Paperback) Mordechai Ben-Ari

    This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.

    $54.66 $59.95
    More details
    Ready To Go
  • Proofs and Refutations
    Proofs and Refutations (English, Paperback) Imre Lakatos

    This influential book discusses the nature of mathematical discovery, development, methodology and practice, forming Imre Lakatos's theory of 'proofs and refutations'.

    $23.79
    More details
    Ready To Go
  • The Logician and the Engineer
    The Logician and the Engineer (English, Paperback) Paul J. Nahin

    Third printing. First paperback printing. Original copyright date: 2013.

    $17.19
    More details
    Ready To Go
  • Ideals, Varieties, and Algorithms
    Ideals, Varieties, and Algorithms (English, Hardback) David A. Cox, Donal O'Shea

    The book also includes current computer algebra material in Appendix C and updated independent projects (Appendix D).The book may serve as a first or second course in undergraduate abstract algebra and with some supplementation perhaps, for beginning graduate level courses in algebraic geometry or computational algebra.

    $56.98 $69.99
    More details
    Ready To Go
  • The Foundations of Mathematics
    The Foundations of Mathematics (English, Paperback) Ian Stewart, David Tall

    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.

    $25.14
    More details
    Ready To Go
  • Alfred Tarski
    Alfred Tarski (English, Paperback) Anita Burdman Feferman, Solomon Feferman

    A frank, vivid picture of a personally and professionally passionate man, interlaced with an account of his major scientific achievements.

    $32.84 $36.99
    More details
    Ready To Go
  • Magic Garden Of George B And Other Logic Puzzles, The
    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!

    $35.02
    More details
    Ready To Go
  • Groups, Languages and Automata
    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.

    $46.54
    More details
    Ready To Go
  • Lambda-Calculus and Combinators
    Lambda-Calculus and Combinators (English, Hardback) J. Roger Hindley, Jonathan P. Seldin

    This book gives an account of combinatory logic and lambda-calculus models.

    $72.86 $88.00
    More details
    Ready To Go
  • Taming the Unknown
    Taming the Unknown (English, Hardback) Victor J. Katz, Karen Hunger Parshall

    What is algebra? For some, it is an abstract language of x's and y's. For mathematics majors and professional mathematicians, it is a world of axiomatically defined constructs like groups, rings, and fields. This title considers how these two seemingly different types of algebra evolved and how they relate.

    $50.95
    More details
    Ready To Go
  • Understanding Mathematical Proof
    Understanding Mathematical Proof (English, Paperback) John Taylor, Rowan Garnier

    The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master. In particular, undergraduate mathematics students often experience difficulties in understanding and constructing proofs....

    $48.89 $65.95
    More details
    Ready To Go