10,943円 Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and researchers in the field of mathematical log...

11,109円 Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages t...

11,772円 Discrete Mathematics: An Open Introduction, Fourth Edition aims to provide an introduction to select topics in discrete mathematics at a level appropriate for first or second year undergraduate math and computer science majors, especially those who intend to teach middle and high school mathemati...

43,944円 This book presents a study on the foundations of a large class of paraconsistent logics from the point of view of the logics of formal inconsistency. It also presents several systems of non-standard logics with paraconsistent features.

23,216円 Limits of Computation: An Introduction to the Undecidable and the Intractable offers a gentle introduction to the theory of computational complexity. It explains the difficulties of computation, addressing problems that have no algorithm at all and problems that cannot be solved efficiently. The ...

14,592円 Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a ...

27,361円 Over the past 20 years, the emergence of clone theory, hyperequational theory, commutator theory and tame congruence theory has led to a growth of universal algebra both in richness and in applications, especially in computer science. Yet most of the classic books on the subject are long out of p...

3,805円 This book presents both axiomatic and descriptive set theory, targeting upper-level undergraduate and beginning graduate students. It aims to equip them for advanced studies in set theory, mathematical logic, and other mathematical fields, including analysis, topology, and algebra. The book is de...

21,058円 Contemporary students of mathematics differ considerably from those of half a century ago. In spite of this, many textbooks written decades ago, and now considered to be “classics”, are still prescribed for students today. These texts are not suitable for today’s students. This text is meant for ...

16,633円 This volume celebrates the research contributions of Professors Theodore A Slaman and W Hugh Woodin, marking their distinguished careers in higher recursion theory and set theory as they approached the milestone of their 65th birthdays in 2019. It originates from the Institute for Mathematical Sc...

3,025円 FROM THE BESTSELLING AUTHOR OF PROFESSOR STEWART'S CABINET OF MATHEMATICAL CURIOSITIES 'Britain's most brilliant and prolific populariser of maths' ALEX BELLOS What is the maximum land you can enclose inside a given border? What is the minimum number of colours you can use to colour in a map so t...

1,135円 Dieses Buch erklärt kurz und prägnant die Forschung zum faszinierenden mengentheoretischen Unabhängigkeitsphänomen: Zahlreiche mengentheoretische Sätze sind gemäß den Standardaxiomen weder beweisbar noch widerlegbar. Um das zu zeigen, baut man zwei verschiedene mengentheoretische Modelle, meist m...