عنوان
پدید آورنده
موضوع
رده
BC 135 .C8F6
BC
135
.
C8F6
کتابخانه
محل استقرار
Foundations of mathematical logic
New York
Dover Publications
"An unabridged and corrected republication of the work first published by the McGraw-Hill Book Company, inc., in 1963."
Includes bibliographical references )p. 369-390( and index
Haskell B. Curry
1
، Logic, Symbolic and mathematical.
511/
.
3
BC
135
.
C8F6
Curry, Haskell B. )Haskell Brooks(, 0091-2891
AU
TI
