Repository | Directory | Profile

References
Michael Potter
Classical arithmetic is part of intuitionistic arithmetic
1998
Grazer Philosophische Studien 55

Repository | Directory | Profile
Classical arithmetic is part of intuitionistic arithmetic
1998
Grazer Philosophische Studien 55