This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most...
These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the...
The Guide to Human Genome Computing is invaluable to scientists who wish to make use of the powerful computing tools now available to assist them in...
Provability, Computability and Reflection