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

Showing results in Mathematical Logic

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

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

    $20.03
    More details
    Ready To Go
  • An Illustrated Book of Bad Arguments
    An Illustrated Book of Bad Arguments (English, Hardback) Ali Almossawi

    A software engineer and a graphic designer combine forces to depict the lost art of logic as demonstrated by illustrations of cute and whimsical animals having nonsensical arguments including the "false dilemma" and the "appeal to ignorance."

    $14.77
    More details
  • How to Solve It
    How to Solve It (English, Paperback) Georg Polya

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

    $18.42 $19.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'.

    $26.98
    More details
  • Category Theory in Context
    Category Theory in Context (English, Paperback) Emily Riehl

    Introduction to concepts of category theory ? categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctive, monads ? revisits a broad range of mathematical examples from the categorical perspective. 2016 edition.

    $21.87 $29.95
    More details
  • Turing Computability
    Turing Computability (English, Hardback) Robert I. Soare

    This book emphasizes three very important concepts: computability, as opposed to recursion or induction; classical computability; and the art of computability, a skill to be practiced but also important in an esthetic sense of beauty and taste in mathematics.

    $53.20 $69.99
    More details
  • 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.

    $58.11 $69.99
    More details
    Ready To Go
  • Prof: Alan Turing Decoded
    Prof: Alan Turing Decoded (English, Hardback) 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 his unappreciative country 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 actually Alan Turing was...

    $33.35 $37.95
    More details
  • 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.

    $48.41
    More details
  • Mastering Logical Fallacies
    Mastering Logical Fallacies (English, Paperback) Michael Withey

    DON’T LET YOUR OPPONENTS drive you out of the room in a fit of humiliation. Mastering Logical Fallacies is the clearest, boldest, and most systematic guide for unmasking dubious reasoning. Filled with a selection of the most common conversational blunders, handy breakdowns of their logical structure, and illuminating examples taken from real life, this book offers all the necessary tools for...

    $14.01
    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...

    $17.42
    More details
    Ready To Go
  • God and Abstract Objects
    God and Abstract Objects (English, Hardback) William Lane Craig

    This book is an exploration and defense of the coherence of classical theism's doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects.

    $131.07 $149.00
    More details
  • Springer Handbook of Model-Based Science
    Springer Handbook of Model-Based Science (English, Hardback) Lorenzo Magnani

    This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning. It highlights the role of models as mediators between theory and experimentation, and as educational devices, as well as their relevance in testing hypotheses and explanatory functions. The Springer Handbook merges philosophical, cognitive and epistemological perspectives on models...

    $258.82 $299.00
    More details
  • A Beginner's Guide to Mathematical Logic
    A Beginner's Guide to Mathematical Logic (English, Paperback) Raymond Smullyan

    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.

    $19.33
    More details
    Ready To Go
  • Alan Turing's Systems of Logic
    Alan Turing's Systems of Logic (English, Paperback) Andrew W. Appel

    Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world--including Alonzo Church, Kurt Gödel, John von Neumann, and Stephen Kleene--were at...

    $16.19
    More details
    Ready To Go
  • Book of Proof
    Book of Proof (English, Paperback) Richard Heath Hammack

    This book is an introduction to the language and standard proof methods of mathematics. It is a bridge from the computational courses (such as calculus or differential equations) that students typically encounter in their first year of ...

    $28.43
    More details
  • Can You Solve My Problems?
    Can You Solve My Problems? (English, Paperback) Alex Bellos

    Puzzle lovers, rejoice!...

    $16.18
    More details
  • Proofs and Refutations
    Proofs and Refutations (English, Hardback) Imre Lakatos

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

    $100.78
    More details
  • Lambda Calculus with Types
    Lambda Calculus with Types (English, Hardback) Henk Barendregt, Wil Dekkers

    This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.

    $90.90
    More details
    Ready To Go