ＫＫ - Logic 1

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 univ……続きを見る

Designed as a method for teaching correct mathematical thinking to high school students, this book contains a brilliantly constructed series of what the authors call "lapses," erroneous statements t……続きを見る

This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory,……続きを見る

This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of……続きを見る

One can distinguish, roughly speaking, two different approaches to the philosophy of mathematics. On the one hand, some philosophers (and some mathematicians) take the nature and the results of math……続きを見る

Right from his formative years, Muni Kumar Kulshresth was distinctly fascinated by the hypothetical-sounding existence of the Greek letter π representing the constant ratio of circumference to di……続きを見る

Using a simple yet rigorous approach, Algebraic and Stochastic Coding Theory makes the subject of coding theory easy to understand for readers with a thorough knowledge of digital arithmetic, Boolea……続きを見る

Des équations aux dérivées partielles à l'examen des algorithme aléatoires en touriste par la transformation de Fourier, cet tout réelle globaux les outils mathématiques utiles à l'étudiant ingénieu……続きを見る