Logic colloquium '82 : proceedings of the Colloquium held in Florence, 23-28 August 1982 / edited by G. Lolli, G. Longo, A. Marcja

Date : 1984

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-444-86876-3

Théorie des modèles

Lambda-calcul

Catégories (mathématiques)

Classification Dewey : 511/.8

Lolli, Gabriele (1942-....) (Directeur de publication / publishing director)

Longo, Giuseppe (1947-.... ; mathématicien) (Directeur de publication / publishing director)

Marcja, Annalisa (19..-....) (Directeur de publication / publishing director)

Logic colloquium (1982 ; Florence, Italie) (Auteur / author)

Collection : Studies in logic and the foundations of mathematics / Amsterdam : North-Holland , 1951-