Title: Metamathematics of first-order arithmetic
First published: 1993
Subjects: Foundations, Arithmetic
LC classification: QA248 .H23 1993