-
RecordNumber
2027
-
Author
Hjek, Petr
-
Title
Metamathematics of first-order arithmetic
-
Author Statement
Petr Hjek, Pavel Pudlk
-
Publication
Springer-Verlag
-
Publication Year
c1993
-
Collation
xiv, 212 p.; ill
-
Series
Perspectives in mathematical logic
-
Notes
Includes bibliographical references (p. [409]-453) and indexes.
-
Subject
Arithmetic - Foundations
-
ADDED ENTRIES
Pudlk, Pavel , ,
-
LC Class
QA
-
LC Number
248
-
LC CutterNumber
.H23M2
-
LC Date
1993
-
Link To Document :
