عنوان
پدید آورنده
موضوع
رده
QA9 .T54 2011
QA9
.
T54
2011
کتابخانه
محل استقرار
After Gغodel :Platonism and rationalism in mathematics and logic
New York
Oxford University Press
Includes bibliographical references )p. ]227[-238( and index
Richard Tieszen
، Gغodel, Kurt
، Logic, Symbolic and mathematical
QA9
.
T54
2011
Tieszen, Richard L.
AU
TI
