عنوان
پدید آورنده
موضوع
رده
QA 248 .H23 1993
QA
248
.
H23
1993
کتابخانه
محل استقرار
English
Metamathematics of first-order arithmetic
Berlin, New York
Springer-Verlag
1993
xiv, 460 p. ; 25 cm
Perspectives in mathematical logic
Includes bibliographical references )p. )409(-453( and indexes
Petr Hajek, Pavel Pudlak
1
، Arithmetic - Foundations
QA
248
.
H23
1993
CA
513/
.
01
Hajek, Petr.
AU
AU Pudlak, Pavel 1952-
TI
SE
