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
Selected Papers on Automath
โ Scribed by R. P. Nederpelt
- Publisher
- Elsevier, Academic Press
- Year
- 1994
- Tongue
- English
- Leaves
- 1044
- Series
- Studies in logic and the foundations of mathematics 133
- Category
- Library
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
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
<span>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