---

＜図書＞
Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 / edited by G. Lolli, G. Longo, and A. Marcja.
(Studies in logic and the foundations of mathematics ; v. 112)

出版者	Amsterdam : North-Holland
出版者	New York : Elsevier Science Pub. Co.
出版年	1984
出版年	1984
大きさ	viii, 358 p. : ill. ; 23 cm.
著者標目	Logic Colloquium (1982 ; Florence, Italy) Lolli, Gabriele, 1942- Longo, Giuseppe Marcja, A.
件　名	Model theory -- Congresses  全ての件名で検索 Categories (Mathematics) -- Congresses  全ての件名で検索 Lambda calculus -- Congresses  全ての件名で検索

 類似資料