عنوان
پدید آورنده
موضوع
رده
QA 9.7 .S55S8 2009
QA
9
.
7
.
S55S8
2009
کتابخانه
محل استقرار
Subsystems of second order arithmetic
Cambridge
Cambridge Univ. Press
c2009
xvi, 444 p.: ill; Ithaca, NY.: "Association for Symbolic Logic"
Perspectives in logic
Bibliography: p.409-424
ISBN: 9780521884396
Stephen G. Simpson
1
، Predicate calculus
QA
9
.
7
.
S55S8
2009
Simpson, Stephen George, 5491-
CO Association for Symbolic Logic
TI
SE
