![Mathematical logic / Intuitionism / Epistemology / Philosophy of mathematics / Logic in computer science / Constructivism / Constructive proof / Constructive analysis / Intuitionistic logic / Mathematics / Mathematical constructivism / Logic Mathematical logic / Intuitionism / Epistemology / Philosophy of mathematics / Logic in computer science / Constructivism / Constructive proof / Constructive analysis / Intuitionistic logic / Mathematics / Mathematical constructivism / Logic](https://www.pdfsearch.io/img/ae613b7b153db1efec974fa2e577fc02.jpg) Date: 2009-06-09 09:06:02Mathematical logic Intuitionism Epistemology Philosophy of mathematics Logic in computer science Constructivism Constructive proof Constructive analysis Intuitionistic logic Mathematics Mathematical constructivism Logic | | Constructive Mathematics and Functional Programming Thierry Coquand Budapest, April 1, 2008 Constructive Mathematics and Functional ProgrammingAdd to Reading ListSource URL: www.cse.chalmers.seDownload Document from Source Website File Size: 175,42 KBShare Document on Facebook
|