Sign up for offers & news
Enter your email address to receive news and special offers.
By Martin Grohe
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.
By Neil Tennant
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.
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...
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.
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,...
By Imre Lakatos
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.
By Paul S. Wang
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...
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...