Structure of Models of Peano Arithmetic, the. Oxford Logic Guides, Volume 50 | lit.salon