Mathematical logic

    Descriptive Complexity, Canonisation, and Definable Graph St

    By Martin Grohe

    Currently unavailable

    Hardback Save £16.76 = £107.24

    This groundbreaking, yet accessible book contains original results on the interaction between graph theory and computational complexity using methods from finite model theory. As well as a wealth of new, previously unpublished results, the author also gives an account of the established results in the area.

    Can You Solve My Problems?

    By Alex Bellos

    Currently unavailable

    Paperback Save £1.14 = £7.85

    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.

    Core Logic

    By Neil Tennant

    Currently unavailable

    Hardback Save £2.94 = £42.06

    Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic is the first system that ensures both relevance and adequacy for the formalization of all mathematical and scientific reasoning.

    Beyond Infinity

    Currently unavailable

    Paperback Save £2.74 = £10.25

    SHORTLISTED FOR THE 2017 ROYAL SOCIETY SCIENCE BOOK PRIZE Even small children know there are infinitely many whole numbers - start counting and you'll never reach the end. But there are also infinitely many decimal numbers between zero and one. Are these two types of infinity the same? Are they...

    Groups, Languages and Automata

    By Derek F. Holt

    Currently unavailable

    Paperback £28.65

    Many connections exist between group theory and automata theory, and a wide variety of them are discussed in this text. Any necessary background material is provided, and connections are explored along a number of strands that lead to the forefront of current research in geometric group theory.

    Algebra, Logic And Combinatorics

    Currently unavailable

    Paperback Save £2.34 = £29.66

    This book leads readers from a basic foundation to an advanced level understanding of algebra, logic and combinatorics. Perfect for graduate or PhD mathematical-science students looking for help in understanding the fundamentals of the topic, it also explores more specific areas such as invariant theory of finite groups, model theory,...

    Cambridge Philosophy Classics

    By Imre Lakatos

    Currently unavailable

    Paperback £14.38

    Imre Lakatos's influential and enduring work on the nature of mathematic discovery and development continues to be relevant to philosophers of mathematics. Including a specially commissioned preface written by Paolo Mancosu, and presented in a fresh twenty-first-century series livery, it is now available for a new generation of readers.

    From Computing to Computational Thinking

    By Paul S. Wang

    Currently unavailable

    Paperback Save £2.74 = £48.25

    Computational Thinking CT involves fundamental concepts and reasoning, distilled from computer science and other computational sciences, which become powerful general mental tools for solving problems, increasing efficiency, reducing complexity, designing procedures, or interacting with humans and machines. An easy-to-understand guidebook, From Computing to Computational Thinking gives you the tools for...

    Prof: Alan Turing Decoded

    By Dermot Turing

    Currently unavailable

    Hardback £14.46

    Alan Turing - a mathematician, codebreaker, computer scientist and biologist. Widely regarded as a war hero grossly mistreated by his unappreciative country, it has become hard to disentangle the real man from the story. In this book, Dermot Turing takes a fresh look at the influences on Turing''s life and...

    Pure Inductive Logic

    By Jeffrey Paris

    Currently unavailable

    Hardback £71.75

    A self-contained guide to pure inductive logic, the study of rational probability treated as a branch of mathematical logic.

    Latest from the blog

    Fantastic new recipe book from Sabrina Ghayour 'Sirocco'

    Sabrina Ghayour's long awaited second recipe book Sirocco is out this month and is a great follow up to Persianna. Read article

    Ten Great Bedtime Reads from The Great British Bookshop and Aspace

    We have teamed up with Aspace ( who create beautiful room for Children to bring you 10 great bedtime reads for your little ones. Read article

    Latest from Twitter

    • @TheGBBookshop - 4 years ago

      Lottery funding for dementia reading project £2m pledged for Reading Agency scheme to pair readers with dementia sufferers

      @TheGBBookshop - 4 years ago

      Harry Potter and the Cursed Child has held on to the number one spot for a sixth week #HarryPotter #CursedChild @littlebrown @pottermore

    • @TheGBBookshop - 4 years ago

      @thebookseller @MartinaCole @Jeffrey_Archer @Foyles

      @TheGBBookshop - 4 years ago

      Frith wins inaugural Klaus Flugge Prize for illustration

    • @TheGBBookshop - 4 years ago

      RT @Gue_de_Bost: #Dordogneholidaycottage available Sept tweet to book for more info

      @TheGBBookshop - 4 years ago

      The editor is just back from france @HomeAwayUK!