Skip to main content

More titles to consider

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.


If you like Logic eBooks, then you'll love these top picks.
Skip side bar filters
  • The Correctness-by-Construction Approach to Programming

    by Bruce W. Watson and 1 more

    The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any measure of formality is a waste of time, resulting in software that is developed by following gut ... Read more

    $143.10 AUD

  • Can You Solve My Problems?

    A casebook of ingenious, perplexing and totally satisfying puzzles

    by Alex Bellos

    Are you smarter than a Singaporean ten-year-old?Can you beat Sherlock Holmes?If you think the answer is yes - I challenge you to solve my problems.Here are 125 of the world's best brainteasers from the last two millennia, taking us from ancient China to medieval Europe, Victorian England to modern-day Japan, with stories of espionage, mathematical breakthroughs and puzzling rivalries along t... ... Read more

    $11.43 AUD

  • The Rules of Contagion

    Why Things Spread - and Why They Stop

    by Adam Kucharski

    series Wellcome Collection
    An Observer Book of the YearA Times Science Book of the YearA New Statesman Book of the Year**A Financial Times Science Book of the Year'It is hard to imagine a more timely book ... much of the modern world will make more sense having read it.' The Times**A deadly virus suddenly explodes into the population. A political movement gathers pace, and then quickly... ... Read more

    $11.43 AUD

  • Logic

    by Wilfrid Hodges

    If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material ... Read more

    $14.99 AUD

  • Limitless Mind: Learn, Lead and Live Without Barriers

    by Jo Boaler

    When we learn, we change what we believe and how we interact with the world. This changes who we are as people and what we can achieve.Many people grow up being told they are ‘not a maths person’ or perhaps ‘not smart’. They come to believe their potential is limited.Now, however, the latest science has revealed that our identities are constantly in flux; when we learn new things, we can change ... Read more

    $18.99 AUD

  • Alan M. Turing

    Centenary Edition

    by Sara Turing and 3 more

    'In a short life he accomplished much, and to the roll of great names in the history of his particular studies added his own.' So is described one of the greatest figures of the twentieth century, yet Alan Turing's name was not widely recognised until his contribution to the breaking of the German Enigma code became public in the 1970s. The story of Turing's life fascinates and in the years since ... Read more

    $13.08 AUD

  • The Art of Logic

    How to Make Sense in a World that Doesn't

    by Eugenia Cheng

    Emotions are powerful. In newspaper headlines and on social media, they have become the primary way of understanding the world. But strong feelings make it more difficult to see the reality behind the rhetoric. In The Art of Logic, Eugenia Cheng shows how mathematical logic can help us see things more clearly - and know when politicians and companies are trying to mislead us.First Cheng explains ... Read more

    $13.74 AUD

  • So You Think You've Got Problems?

    Surprising and rewarding puzzles to sharpen your mind

    by Alex Bellos

    So you think you've got problems? In this book, you will be:Imprisoned by a sadistic logician.Challenged to raise dogs from the dead.Trapped on a burning island.And much more besides . . .Everything is at stake in this compendium of more than 150 ingenious puzzles, selected to reveal the wonderful diversity of brainteasers that have confounded and intrigued solvers for ... ... Read more

    $14.51 AUD

  • Maths in Bite-sized Chunks

    by Chris Waring

    Let the real world show you how maths works. Maths is often cited as the ‘most difficult’ or ‘complex’ subject to study, many people admitting to a wariness that was probably ingrained into them in their schooldays. In Maths in Bite-sized Chunks, Chris Waring proves that it’s easy to break the subject down into accessible, understandable information, much of which, in fact, we use in one way or ... Read more

    $11.43 AUD

  • Fermi's Estimation Method

    by Surya Senthilkumar

    Fermi's Estimation method is a way of approximating answers to questions that lack specific information and require you to use your logical reasoning .These types of questions are very popular in job/university in order to test your creative problem solving skills. This book provides a brief insight into Fermi's estimation method and gives you a simple step by step guide to using the method so ... Read more


  • Hack, Hack, Who's There? A Gentle Introduction to Model Theory

    by David Reid

    “Hi, Joan. What’s the book you’re reading?”“A mathematics popularization. Do you want to download it?”“Mathematics! Forget it! I hated it in school. Couldn’t understand all those symbols.”“No, no, there are no formulas. This is about sets and logic....”“Oh, that. I know those. Puzzles and Venn diagrams.”“No, no. None of that. It is about Model Theory.”“Machettes? Fashion models? Economic models?” ... Read more


  • The Language Lover’s Puzzle Book

    Lexical perplexities and cracking conundrums from across the globe

    by Alex Bellos

    From the bestselling author of Alex's Adventures in Numberland and Can You Solve My Problems? comes a fascinating, hugely entertaining collection of puzzles for crossword addicts and language-lovers of all stripes.'The only puzzle book I've seen that manages to befuddle both sides of the brain at the same time.'DARA Ó BRIAIN'Such fun, full of unexpected ideas and charmingly written.'TIM HARFORD< ... Read more

    $14.51 AUD

  • The GCHQ Puzzle Book II

    by GCHQ

    Train your brain with these fiendishly difficult puzzles, the perfect companion for anyone wanting to keep their mind busy'Fiendishly tricky' Daily MailWith their first bestselling book, The GCHQ Puzzle Book, the UK's intelligence and security experts tested us with puzzles, codes and real-life entrance tests from their archives.Now, they are back with a NEW collection of head-scratching, mind ... Read more

    $14.99 AUD

  • The Gödelian Puzzle Book

    Puzzles, Paradoxes and Proofs

    by Raymond M. Smullyan

    These brand-new recreational logic puzzles provide entertaining variations on Gödel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. Created by the celebrated logician Raymond Smullyan, the puzzles require no background in formal logic and will delight readers of all ages.The two-part selection of puzzles and ... Read more

    $22.96 AUD

  • Single Digits

    In Praise of Small Numbers

    by Marc Chamberland

    The remarkable properties of the numbers one through nineIn Single Digits, Marc Chamberland takes readers on a fascinating exploration of small numbers, from one to nine, looking at their history, applications, and connections to various areas of mathematics, including number theory, geometry, chaos theory, numerical analysis, and mathematical physics. For instance, why do eight perfect card ... Read more

    $22.87 AUD

  • A Beginner's Guide to Mathematical Logic

    by Raymond M. Smullyan

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

    $30.64 AUD

  • Logic: A Very Short Introduction

    by Graham Priest

    series Very Short Introductions
    Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability ... Read more

    $11.65 AUD

  • Sets, Logic and Maths for Computing

    by David Makinson

    series Undergraduate Topics in Computer Science
    This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduate students need to enter the world of computer and information sciences. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined ... Read more

    $54.00 AUD

  • How to Prove It

    A Structured Approach

    by Daniel J. Velleman

    Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text will prepare students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize ... Read more

    $38.38 AUD

  • Introducing Logic

    A Graphic Guide

    by Dan Cryan and 2 more

    series Introducing...
    Logic is the backbone of Western civilization, holding together its systems of philosophy, science and law. Yet despite logic's widely acknowledged importance, it remains an unbroken seal for many, due to its heavy use of jargon and mathematical symbolism.This book follows the historical development of logic, explains the symbols and methods involved and explores the philosophical issues ... Read more

    $5.93 AUD

  • Mathematics of Discrete Structures for Computer Science

    by Gordon J. Pace

    Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness, robustness and dependability. This book covers the foundational ... Read more

    $76.55 AUD

  • Logical Foundations of Computer Science

    International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

    by Sergei Artemov and 1 more

    series Lecture Notes in Computer Science #10703
    This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Read more

    $89.09 AUD

  • The Mathematical Works of Lewis Carroll

    Symbolic Logic, The Game of Logic & Feeding the Mind

    by Lewis Carroll

    Lewis Carroll wrote several mathematics books. He was mainly interested in using logic diagrams as a pedagogical tool. Symbolic Logic, first published in 1896, contains literally dozens of puzzles. He believed heartily that children would enjoy learning mathematics if they could be enticed by amusing stories and puzzles. The Game of Logic, published in 1897, was intended to teach logic to children ... Read more

    $1.99 AUD

  • Miscellaneous Pieces

    by Carroll Lewis

    Lewis Carroll's Miscellaneous Pieces includes The Game of Logic (1886) Eight or Nine Wise Words about Letter Writing (1890) and Feeding the Mind (1907). In the first work Carroll presents a mind-boggling game complete with rules and procedures. The second work is a humorous rendering of the delicacies involved in the writing of letters. In the last work Carroll dwells on the importance of keeping ... Read more

    $6.92 AUD