|
|
||
|
|
|
MR1748522
(2000m:03003)
03-02
(03D15 03F30 03H15 11U09 11U10 68Q15)
Hájek, Petr; Pudlák, Pavel Metamathematics of first-order arithmetic. Second printing. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1998. xiv+460 pp. ISBN: 3-540-63648-X |
|
|
| For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews. | ||||
|
|
||||
AMS Home Page
|