Structure of Models of Peano Arithmetic, the. Oxford Logic Guides, Volume 50Roman Kossak, James Schmerl · First published 2006Open the Tome
