Search
Classical arithmetic is part of intuitionistic arithmetic
Vol. 55
Michael Potter
Volume
Title
Author