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...
Clasificación: | Libro Electrónico |
---|---|
Otros Autores: | |
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 |
Tabla de Contenidos:
- Front Cover; Selected Papers on Authomath; Copyright Page; Preface; Contents; Hints for the reader; Notation; Introduction; Part A: Motivation and exposition; Part B: Language deflnition and special subjects; Part C: Theory; PART D: Text examples; PART E: Verification; PART F: Related topics; Bibliography; References; Indexes; Index of Names; Index of Notations; Index of Subjects.