Acta Structuralica
international journal for structuralist research
Journal | Authors
Articles
Classical arithmetic is part of intuitionistic arithmetic
1998
Michael Potter
Grazer Philosophische Studien 55