Refutability and Elementary Number Theory (1972)

by E G K Lopez-Escobar
Venue:Indagationes Mathematicae