These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the...
Contributions to Non-Standard Analysis
This volume contains the proceedings of Analysis and Design of Hybrid Systems 2006: the 2nd IFAC Conference on Analysis and Design of Hybrid Systems...
Provability, Computability and Reflection