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

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: Logic Colloquium '82 (Florence)
Other Authors: Lolli, Gabriele, 1942-, Longo, G. (Giuseppe), Marcja, A. (Annalisa)
Format: Electronic Conference Proceeding eBook
Language:Inglés
Published: Amsterdam ; Oxford : North-Holland, 1984.
Series:Studies in logic and the foundations of mathematics ; v. 112.
Subjects:
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.
Online Access:Texto completo
Texto completo
Texto completo

Internet

Texto completo
Texto completo
Texto completo

Items no disponibles

Items no disponibles

Holdings details from

Similar Items