ajek and P. Pudl ak (1993)

by P H
Venue:Metamathematics of First-order Arithmetic, Perspectives in Mathematical Logic