عنوان
پدید آورنده
موضوع
رده
QA 9 .A1L44 Vol.23
QA
9
.
A1L44
Vol
.
23
کتابخانه
محل استقرار
Logicism renewed : logical foundations for mathematics and computer science
La Jolla, Calif.
Wellesley, Mass.
Association for Symbolic Logic
A K Peters Ltd.
c2005
xvii, 230 p
Lecture notes in logic; 32
Bibliography: p.215-223
ISBN: 1568812760
Paul C. Gilmore
1
، Logic, Symbolic and mathematical
QA
9
.
A1L44
Vol
.
23
Gilmore, Paul Carl, 5291-
AU
TI
SE
