Logic colloquium '73 : proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Logic Colloquium Bristol
Otros Autores: Rose, Harvey Ernest, Shepherdson, J. C.
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975.
Colección:Studies in logic and the foundations of mathematics ; v. 80.
Temas:
Logic, Symbolic and mathematical > Congresses.
Logique symbolique et math�ematique > Congr�es.
Logic, Symbolic and mathematical
Engenharia De Programacao (Software)
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, 513 pages)
Bibliografía:Includes bibliographical references.
ISBN:9780444106421
0444106421

Ejemplares similares