Applicative Theories and Explicit Mathematics Reinhard Kahle, DI, Universidade Nova de Lisboa References [1] Michael J. Beeson. Foundations of Constructive Mathematics: Metamathematical Studies. Springer, Berlin, 1985. [

First Page		Document Content
Date: 2005-09-11 03:59:30		Applicative Theories and Explicit Mathematics Reinhard Kahle, DI, Universidade Nova de Lisboa References [1] Michael J. Beeson. Foundations of Constructive Mathematics: Metamathematical Studies. Springer, Berlin, 1985. [ Add to Reading List Source URL: www.ki.inf.tu-dresden.de Download Document from Source Website File Size: 39,05 KB Share Document on Facebook