6,482円 This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that has driven the controversy. It traces the root of postmodern theory to a debate on the foundations o...

6,201円 Computation and its Limits is an innovative cross-disciplinary investigation of the relationship between computing and physical reality. It begins by exploring the mystery of why mathematics is so effective in science and seeks to explain this in terms of the modelling of one part of physical rea...

13,248円 Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This v...

2,108円 'Circularity' is the story of a Janus-faced conceptual structure, that on the one hand led to deep scientific discoveries, and on the other hand is used to trick the mind into believing the impossible. Alongside mathematical revolutions that eventually led to the invention of the computer, the bo...

4,230円 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...

15,215円 >STATISTICS AND CAUSALITY A one-of-a-kind guide to identifying and dealing with modern statistical developments in causality Written by a group of well-known experts, Statistics and Causality: Methods for Applied Empirical Research focuses on the most up-to-date developments in statistical method...

12,154円 This book celebrates and expands on J. Michael Dunn’s work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced a semantics for first-degree entailments utilizing the idea that a sentence can provide positive or negative information about a topic, possibly suppl...

7,292円 The second edition of this highly praised textbook provides an expanded introduction to the theory of ordered sets and its connections to various subjects. Utilizing a modular presentation, the core material is purposely kept brief, allowing for the benefits of a broad exposure to the subject wit...

12,154円 The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and ...

6,076円 This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', w...

6,928円 This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis. Instead of the standard "transition" approach to teaching proofs, wherein st...

1,120円 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 mo...