|
" Logic Colloquium '82 : "
edited by G. Lolli, G. Longo, and A. Marcja
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
656523
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
Logic Colloquium(1982 :, Florence, Italy)
|
| Title & Author
|
:
|
Logic Colloquium '82 : : proceedings of the colloquium held in Florence, 23-28 August, 1982 /\ edited by G. Lolli, G. Longo, and A. Marcja
|
| Publication Statement
|
:
|
Amsterdam ;New York :: North-Holland ;New York, N.Y. :: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,, 1984
|
| Series Statement
|
:
|
Studies in logic and the foundations of mathematics; v. 112
|
| Page. NO
|
:
|
viii, 358 p. :: ill. ;; 23 cm
|
| ISBN
|
:
|
0444868763 (U.S.)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographies
|
| Subject
|
:
|
Model theory-- Congresses
|
| Subject
|
:
|
Categories (Mathematics)-- Congresses
|
| Subject
|
:
|
Lambda calculus-- Congresses
|
| Dewey Classification
|
:
|
511/.8
|
| LC Classification
|
:
|
QA9.7.L64 1982
|
| Added Entry
|
:
|
Lolli, Gabriele,1942-
|
|
|
:
|
Longo, G., (Giuseppe)
|
|
|
:
|
Marcja, A., (Annalisa)
|
| |