10,995円 This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Gödel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for ...

4,222円 This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning graduate students to help them prepare for advanced study in set theory and mathematical logic as well as other areas of mathematics, such as analysi...

421円 Först och främst är detta en vacker berättelse om en flicka som lär sig att räkna. Det visar sig dock vara så att de flesta av oss har glömt hur vi blev skickliga räknare. Få vet om att vi då också lär oss koncept från högre matematik. Om ni är nyfikna på varför ni kan räkna eller om ni vill göra...

37,311円 Multiple Fixed-Point Theorems and Applications in the Theory of ODEs, FDEs and PDEs covers all the basics of the subject of fixed-point theory and its applications with a strong focus on examples, proofs and practical problems, thus making it ideal as course material but also as a reference for s...

28,191円 This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teachi...

11,440円 Architecture of Mathematics describes the logical structure of Mathematics from its foundations to its real-world applications. It describes the many interweaving relationships between different areas of mathematics and its practical applications, and as such provides unique reading for professio...

62,185円 "Based on the International Conference on Optimal Control of Differential Equations held recently at Ohio University, Athens, this Festschrift to honor the sixty-fifth birthday of Constantin Corduneanu an outstanding researcher in differential and integral equations provides in-depth coverage of ...

21,058円 An Introduction to Nonparametric Statistics presents techniques for statistical analysis in the absence of strong assumptions about the distributions generating the data. Rank-based and resampling techniques are heavily represented, but robust techniques are considered as well. These techniques i...

27,361円 Statistical Foundations of Data Science gives a thorough introduction to commonly used statistical models, contemporary statistical machine learning techniques and algorithms, along with their mathematical insights and statistical theories. It aims to serve as a graduate-level textbook and a rese...

8,622円 An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences. Category theory was invented in the 1940s to unify and synthesize different areas in mathematics, and it has proven remarkably successful in enabling powerful communica...

14,377円 This volume presents some exciting new developments occurring on the interface between set theory and computability as well as their applications in algebra, analysis and topology. These include effective versions of Borel equivalence, Borel reducibility and Borel determinacy. It also covers algo...

2,647円 The first major biography written for a general audience of the logician and mathematician whose Incompleteness Theorems helped launch a modern scientific revolution. Nearly a hundred years after its publication, Kurt Gödel’s famous proof that every mathematical system must contain propositions t...