Lectures on nonstandard models of arithmetic (1984)

by C Smorynski, C Smorynski
Venue:In Logic Colloquium ’82