Free Delivery Over $100
5407 books were found.
The Handbook on Ontologies provides a comprehensive overview of the current status and future prospects of the field,... Read More >>
A famous theorem from Gödel entails that if our thinking capacities do not go beyond what an electronic computer... Read More >>
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency... Read More >>
Read More >>
Alan Turing - a mathematician, codebreaker, computer scientist and biologist. Widely regarded as a war hero grossly... Read More >>
This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated... Read More >>
Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life.... Read More >>
Functions, the language of advanced mathematical processes, model input and output. Some functions are direct, such... Read More >>
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This book presents... Read More >>
The Mathematics That Power Our World: How Is It Made? is an attempt to unveil the hidden mathematics behind the... Read More >>
"The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested... Read More >>
This book leads readers from a basic foundation to an advanced level understanding of algebra, logic and combinatorics.... Read More >>
'Circularity' is the story of a Janus-faced conceptual structure, that on the one hand led to deep scientific discoveries,... Read More >>