The Structure of Models of Peano Arithmetic (2007)

by R Kossak, J Schmerl