13,265円 Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wi...

11,275円 This book introduces readers to the art of doing mathematical proofs. Proofs are the glue that holds mathematics together. They make connections between math concepts and show why things work the way they do. This book teaches the art of proofs using familiar high-school concepts, such as numbers...

18,405円 Quantum Computation presents the mathematics of quantum computation. The purpose is to introduce the topic of quantum computing to students in computer science, physics and mathematics who have no prior knowledge of this field. The book is written in two parts. The primary mathematical topics req...

12,269円 The theory of the measure of noncompactness has proved its significance in various contexts, particularly in the study of fixed point theory, differential equations, functional equations, integral and integrodifferential equations, optimization, and others. This edited volume presents the recent ...

6,797円 Lateral Solutions to Mathematical Problems offers a fresh approach to mathematical problem solving via lateral thinking. Lateral thinking has long been used informally by good mathematics teachers and lecturers to spice up their material and interest their students in the more artistic aspects of...

38,970円 Ancient times witnessed the origins of the theory of continued fractions. Throughout time, mathematical geniuses such as Euclid, Aryabhata, Fibonacci, Bombelli, Wallis, Huygens, or Euler have made significant contributions to the development of this famous theory, and it continues to evolve today...

6,797円 Parabola is a mathematics magazine published by UNSW, Sydney. Among other things, each issue of Parabola has contained a collection of puzzles/problems, on various mathematical topics and at a suitable level for younger (but mathematically sophisticated) readers. Parabolic Problems: 60 Years of M...

7,626円 ***Puzzle and Proof: A Decade of Problems from the Utah Math Olympiad***is a compilation of the problems and solutions for the first 10 years of the Utah Math Olympiad. The problems are challenging but should be understandable at a high school level. Besides putting all problems in one place (70 ...

3,101円 This book has two chapters. The first is a modern or contemporary account of stability theory. A focus is on the local (formula-by-formula) theory, treated a little differently from in the author's book Geometric Stability Theory. There is also a survey of general and geometric stability theory, ...

14,585円 This book presents and defends an original and paradigm-shifting conception of formal science, natural science, and the natural universe alike, that’s fully pro-science, but at the same time neither theological or God-centered, nor solipsistic or self-centered, nor communitarian or social-institu...

13,265円 Combinatory logic is a versatile field that is connected to philosophical, mathematical, and computational logic. This comprehensive reference on combinatory logic covers results in the field from the last four decades along with classical information on the topic. The author makes combinatory lo...

7,900円 This comprehensive introductory textbook is designed for undergraduate mathematics students seeking to gain a strong understanding of fuzzy sets and relations. Covering all major topics in the field, this course provides a solid foundation in fuzzy mathematics, similar to a pre-calculus course co...