Classical provability of uniform versions and intuitionistic provability

Makoto Fujiwara, Ulrich Kohlenbach

研究成果: Article

フィンガープリント Classical provability of uniform versions and intuitionistic provability' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

Mathematics