عنوان
پدید آورنده
موضوع
رده
QA 9 .M4
QA
9
.
M4
کتابخانه
محل استقرار
Introduction to mathematical logic
Princeton, N.J.
Van Nostrand
]c1964[
x, 300 p. : ill
The University series in undergraduate mathematics
Includes bibliographical references )p.272-287(
Elliott Mendelson
، Logic, Symbolic and mathematical
QA
9
.
M4
Mendelson, Elliott.
AU
TI
TI Mathematical logic
