Non-standard models for formal logics (1950)

by J B Rosser, H Wang
Venue:Journal of Symbolic Logic