عنوان
پدید آورنده
موضوع
رده
QA9.7 .L64 1982
QA9
.
7
.
L64
1982
کتابخانه
محل استقرار
0444868763 (U.S.)
dltt
Logic Colloquium '82 :
[Book]
proceedings of the colloquium held in Florence, 23-28 August, 1982 /
edited by G. Lolli, G. Longo, and A. Marcja
New York, N.Y. :
Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
1984
viii, 358 p. :
ill. ;
23 cm
Studies in logic and the foundations of mathematics
v. 112
Includes bibliographies
Categories (Mathematics)-- Congresses
Lambda calculus-- Congresses
Model theory-- Congresses
511/
.
8
19
QA9
.
7
.
L64
1982
Lolli, Gabriele,1942-
Longo, G., (Giuseppe)
Marcja, A., (Annalisa)
Logic Colloquium(1982 :, Florence, Italy)
19840730000000.0
مطالعه متن کتاب [Book]
Y
