![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)
| Document Date: 2009-06-09 09:06:02 Open Document File Size: 175,42 KBShare Result on Facebook
City Nottingham / / Currency BRL / / Person Thierry Coquand Budapest / B. Werner Checking / X. Leroy A Compiled / / Position R. Constable / Bishop / / ProgrammingLanguage R / L / / Technology Functional Programming / /
SocialTag |