Truth, proof and infinity : a theory of constructions and constructive reasoning - Fletcher, Peter (Synthese library ; ;, 1998)