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

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: Logic Colloquium '82 (Florence)
Autres auteurs: Lolli, Gabriele, 1942-, Longo, G. (Giuseppe), Marcja, A. (Annalisa)
Format: Électronique Actes de congrès eBook
Langue:Inglés
Publié: Amsterdam ; Oxford : North-Holland, 1984.
Collection:Studies in logic and the foundations of mathematics ; v. 112.
Sujets:
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.
Accès en ligne:Texto completo
Texto completo
Texto completo
Description
Description matérielle:1 online resource (viii, 358 pages) : illustrations
Bibliographie:Includes bibliographical references.
ISBN:9780444868763
0444868763

Documents similaires