![](https://www.pdfsearch.io/img/30e47b44af951209fd693f0da821e2a2.jpg) 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 ListSource URL: www.ki.inf.tu-dresden.deDownload Document from Source Website File Size: 39,05 KBShare Document on Facebook
|