عنوان
پدید آورنده
موضوع
رده
QA 9 .B44 1977
QA
9
.
B44
1977
کتابخانه
محل استقرار
A course in mathematical logic
Amsterdam
North-Holland
c1977
xviii, 599 p.: ill.
Bibliography: p. ]576[-583
ISBN: 0720428440
by J. L. Bell and M. Machover
1
2
، Logic, Symbolic and mathematical
QA
9
.
B44
1977
Bell, John Lane
AU
AU Machover, Moshe
TI
TI Mathematical logic
