Models of Fragments of Arithmetic

Perspectives in Mathematical Logic - Metamathematics of First-Order Arithmetic ◽

10.1007/978-3-662-22156-3_6 ◽

1993 ◽

pp. 213-263

Author(s):

Petr Hájek ◽

Pavel Pudlák

Download Full-text