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