عنوان
پدید آورنده
موضوع
رده
QA9.A1 L63 1976
QA9
.
A1
L63
1976
کتابخانه
محل استقرار
0720406919
b413723
Logic Colloquium 76 :
[Book]
proceedings of a conference held in Oxford in July 1976 /
edited by R. O. Gandy, J. M. E. Hyland
x, 612 pages :
portrait ;
23 cm
Studies in logic and the foundations of mathematics ;
v. 87
Includes bibliographies
Logic, Symbolic and mathematical-- Congresses
511/
.
3
QA9
.
A1
L63
1976
Gandy, R. O., (Robin O.)
Hyland, John Martin Elliott
Logic Colloquium(1976 :, Oxford, England)
19860905123508.0
rda
مطالعه متن کتاب [Book]
Y
