18 Unconventional Essays on the Nature of Mathematics
This essays edited by Reuben Hersh contains frank facts and opinions from leading mathematicians, philosophers, sociologists, ...
Lire la suite
A Course on Mathematical Logic
This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning ...
Lire la suite
A Modern Perspective on Type Theory
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
Lire la suite
Adapting Proofs-as-Programs
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...
Lire la suiteAdvances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics ...
Lire la suite
Algebraic Geometry : An Introduction
The book starts with easily-formulated problems with non-trivial solutions – for example, Bézout’s theorem and the problem ...
Lire la suite
An Introduction to the Mathematics of Money
This is an undergraduate textbook on the basic aspects of personal savings and investing with a balanced mix of mathematical ...
Lire la suite
An Invitation to Abstract Mathematics
this book begins with a playful exploration of the building blocks of mathematics, such as definitions, axioms, and proofs. ...
Lire la suite
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...
Lire la suite
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lire la suite
Automated Reasoning
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
Lire la suite
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lire la suite
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lire la suite
Bounded Analytic Functions
The book covers a wide range of beautiful topics in analysis, is extremely well organized and well written, with elegant, ...
Lire la suite
Classical Geometries in Modern Contexts
This book is based on real inner product spaces X of arbitrary (finite or infinite) dimension greater than or equal to 2. ...
Lire la suite
Completeness Theory for Propositional Logics
Completeness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion ...
Lire la suite
Complexity Theory
Complexity theory is the theory of determining the necessary resources for the solution of algorithmic problems and, therefore, ...
Lire la suite
Complexity Theory and Cryptology
Modern cryptology employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research ...
Lire la suite
Computational Logic in Multi-Agent Systems : 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational ...
Lire la suite
Computer Science - Theory and Applications : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
Lire la suite
