ajek and P. Pudl' ak, Metamathematics of First-order Arithmetic (1993)

by P H'