Chargement en cours…

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

Internet

Texto completo
Texto completo
Texto completo

Falló la conexión al servidor. Falló la conexión al servidor.