Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Logic Colloquium '82 (Florence)
Otros Autores: Lolli, Gabriele, 1942-, Longo, G. (Giuseppe), Marcja, A. (Annalisa)
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; Oxford : North-Holland, 1984.
Colección:Studies in logic and the foundations of mathematics ; v. 112.
Temas:
Logic, Symbolic and mathematical.
Model theory > Congresses.
Categories (Mathematics) > Congresses.
Lambda calculus > Congresses.
Th�eorie des mod�eles > Congr�es.
Cat�egories (Math�ematiques) > Congr�es.
Lambda-calcul > Congr�es.
Logique symbolique et math�ematique.
Model theory
Lambda calculus
Categories (Mathematics)
Logic, Symbolic and mathematical
Mathematical logic
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congr�es.
Acceso en línea:Texto completo
Texto completo
Texto completo
Descripción
Descripción Física:1 online resource (viii, 358 pages) : illustrations
Bibliografía:Includes bibliographical references.
ISBN:9780444868763
0444868763

Ejemplares similares