
Michael Potter
in English (1990-1999)
XClassical arithmetic is part of intuitionistic arithmetic
1998
Grazer Philosophische Studien 55

in English (1990-1999)
XClassical arithmetic is part of intuitionistic arithmetic
1998
Grazer Philosophische Studien 55