971 followers
Fletcher (1998), Truth, Proof and Infinity: A Theory of Constructions and Constructive Reasoning https://t.co/iQuKKl6PI5
Fletcher (1998), Truth, Proof and Infinity: A Theory of Constructions and Constructive Reasoning https://t.co/iQuKKl6PI5