Title: Models of Peano arithmetic
First published: 1991
Subjects: Foundations, Model theory, Arithmetic
LC classification: QA248 .K385 1991