When is arithmetic possible?, Ann. of Pure and Applied Logic 50 (1990)

by G L McColm