P. Fletcher Books
Truth, proof, and infinity
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However,...
Read More