Cargando…

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

Internet

Texto completo
Texto completo
Texto completo

Error inesperado del formato de respuesta. Error inesperado del formato de respuesta.