Back to Results
First PageMeta Content
Mathematical constructivism / Proof theory / Epistemology / Philosophy of mathematics / Intuitionistic logic / Realizability / Curry–Howard correspondence / Constructivism / Brouwer–Heyting–Kolmogorov interpretation / Logic / Mathematical logic / Mathematics


Theoretical Computer Science[removed]–252 From constructivism to computer science 1
Add to Reading List

Document Date: 1998-11-22 11:04:55

Open Document

File Size: 127,17 KB

Share Result on Facebook
UPDATE