Repository | Directory | Profile

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

Repository | Directory | Profile
(1990-1999)
XClassical arithmetic is part of intuitionistic arithmetic
1998
Grazer Philosophische Studien 55