عنوان
پدید آورنده
موضوع
رده
QA 9 .C97
QA
9
.
C97
کتابخانه
محل استقرار
Foundations of mathematical logic
New York
Dover
1977
viii, 408 p.: ill
An unabridged and corrected republication of the work first published by the McGraw-Hill, 1963
Bibliography: p. 369-390
ISBN: 0486634620
Haskell B. Curry
1
2
، Logic, Symbolic and mathematical
QA
9
.
C97
Curry, Haskell Brooks, 0091-
AU
TI
