Eric - Logic 1

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highli……続きを見る

Kenneth J. Arrow's pathbreaking "impossibility theorem" was a watershed innovation in the history of welfare economics, voting theory, and collective choice, demonstrating that there is no voting ru……続きを見る

Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its application to problems in computer science. Inf……続きを見る

Focusing on an approach of solving rigorous problems and learning how to prove, this volume is concentrated on two specific content themes, elementary number theory and algebraic polynomials. The be……続きを見る

Is college worth the cost? Should I worry about arsenic in my rice? Can we recycle pollution? Real questions of personal finance, public health, and social policy require sober, data-driven analyses……続きを見る

This book introduces the notion of an effective Kan fibration, a new mathematical structure which can be used to study simplicial homotopy theory. The main motivation is to make simplicial homotopy ……続きを見る

This book considers the manifold possible approaches, past and present, to our understanding of the natural numbers. They are treated as epistemic objects: mathematical objects that have been subjec……続きを見る

Damengambit, Königsjagd und Springertour - das aktuelle Sachbuch über Schach mit einem Vorwort von Garri Kasparow. Schach fasziniert, und kein anderer als Frederic Friedel, die graue Eminenz der int……続きを見る

This book centers around a dialogue between Roger Penrose and Emanuele Severino about one of most intriguing topics of our times, the comparison of artificial intelligence and natural intelligence, ……続きを見る

This is a textbook for an undergraduate mathematics major transition course from technique-based mathematics (such as Algebra and Calculus) to proof-based mathematics. It motivates the introduction ……続きを見る