13,796円 This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the...

8,507円 This second edition of Mathematical Olympiad Treasures contains a stimulating collection of problems in geometry and trigonometry, algebra, number theory, and combinatorics. It encourages readers to think creatively about techniques and strategies for solving real-world problems, with new section...

1,122円 Lewis Carroll the author of the world famous Alice in Wonderland is well known even today for his fiction, but his tenure as professor of mathematics at Oxford university is less well known as is his love of logic problems. Carroll was a mathematician at heart; he deeply loved and was fascinated ...

9,160円 Newton's explanation of the natural law of universal gravity shattered the way mankind perceived the universe, and hence it was not immediately embraced. After all, how can anyone warm to a force that cannot be seen or touched? But for two women, separated by time and space but joined in their pa...

7,900円 This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems shoul...

1,335円 ‘I have a truly marvellous demonstration of this proposition which this margin is too narrow to contain.’ It was with these words, written in the 1630s, that Pierre de Fermat intrigued and infuriated the mathematics community. For over 350 years, proving Fermat’s Last Theorem was the most notorio...

8,490円 This interdisciplinary study of infinity explores the concept through the prism of mathematics and then offers more expansive investigations in areas beyond mathematical boundaries to reflect the broader, deeper implications of infinity for human intellectual thought. More than a dozen world-reno...

1,054円 Yes, this is the Lewis Carroll who wrote Alice in Wonderland, and this work shows the same quirky humor. Here you see Carroll the mathematician at his playful best. Don't let the title of the first work mislead you--this isn't about modern symbolic logic but about ways of expressing classical log...

1,202円 An intimate portrait of an everyday genius. Alexander Master’s landlord, Simon, lives in the basement of their Cambridge house. Between teetering towers of outdated maps and slagheaps of plastic bags, Simon eats endless meals of tinned kippers and plans trips on the Cambridge public transport sys...

33,696円 Automata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and what constitutes formal methods. This treatise gives a rigorous account of the topic and illuminates its real meaning by looking at the subject in a variety of ways. T...

26,740円 This is the most comprehensive survey of the mathematical life of the legendary Paul Erdős (1913-1996), one of the most versatile and prolific mathematicians of our time. For the first time, all the main areas of Erdős' research are covered in a single project. Because of overwhelming response fr...

6,076円 Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logi...