An intuitionistic interpretation of Bishop's philosophy.

Autor: Bentzen, Bruno1 (AUTHOR) bbentzen@zju.edu.cn
Zdroj: Philosophia Mathematica. Oct2024, Vol. 32 Issue 3, p307-331. 25p.
Databáze: Academic Search Ultimate
Externí odkaz: