Back to Results
First PageMeta Content
Computability theory / Proof theory / Mathematical logic / Logic / Reverse mathematics / Mathematics / Philosophy of mathematics


Classical provability of uniform versions and intuitionistic provability Makoto Fujiwara∗ Mathematical Institute Tohoku University 6-3, Aramaki Aoba, Aoba-ku Sendai, Miyagi, Japan
Add to Reading List

Document Date: 2013-08-17 07:52:06


Open Document

File Size: 251,59 KB

Share Result on Facebook