عنوان
پدید آورنده
موضوع
رده
511 .3 L832
511
.
3
L832
کتابخانه
محل استقرار
206211
انگلیسی
IR
Logic colloguium 69; proceedings of the summer school and colloquium in mathematical logic, Manchester, Auqust, 1969
[book]
/ edited by R. O. Gandy, C. M. E. Yates
Amsterdam
: North-Holland
، 1971
xiv, 451 p
Studies in logic and the foundations of mathematics, v. 61
Includes bibliographies
Logic, symbolic and mathematical - Addresses, essays, lectures
511
.
3
L832
QA
9
.
L94
Gandy, R. O.
Yates, C. M. E.
creator
creator
ایران
QA 9 .L94
Previous cataloging
BL
1
Y
