Classical provability of uniform versions and intuitionistic provability

Makoto Fujiwara, Ulrich Kohlenbach

Research output: Contribution to journalArticle

Fingerprint Dive into the research topics of 'Classical provability of uniform versions and intuitionistic provability'. Together they form a unique fingerprint.

Mathematics