Repository | Directory | Profile

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