25,339円 The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area ...

2,677円 'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.' The Mathematical Gazette This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Log...

6,076円 This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspe...

0円 “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 Ven...

10,938円 This monograph looks at causal nets from a philosophical point of view. The author shows that one can build a general philosophical theory of causation on the basis of the causal nets framework that can be fruitfully used to shed new light on philosophical issues. Coverage includes both a theoret...

12,121円 Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing. Inductive logic seeks to determine the extent to which the premisses of an argument entail its conclusion, aiming to provide a theory of how one should reason in the face of uncertainty. It has a...

12,154円 This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary c...

6,633円 Fascinating connections exist between group theory and automata theory, and a wide variety of them are discussed in this text. Automata can be used in group theory to encode complexity, to represent aspects of underlying geometry on a space on which a group acts, and to provide efficient algorith...

13,369円 This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose ...

9,723円 This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world. The papers range from historical considerations to new mathematical developments of the theory of opposition ...

2,122円 **What is the Higgs Boson? Where did life come from? And what are you looking at when you're looking at Modern Art Put your knowledge to the test - and learn to think and talk like a genius.** The Genius Test takes you on a journey through humanity's most brain-bending ideas, from the big bang an...

3,183円 Kenneth J. Arrow's pathbreaking "impossibility theorem" was a watershed innovation in the history of welfare economics, voting theory, and collective choice, demonstrating that there is no voting rule that satisfies the four desirable axioms of decisiveness, consensus, nondictatorship, and indepe...