Cargando…

Selected papers on Automath /

The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Nederpelt, R. P. (Rob P.)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : Elsevier, 1994.
Colección:Studies in logic and the foundations of mathematics ; v. 133.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo