This introductory contribution consists of two parts. In Section 1, we give a concise historical overview of proof systems, leading to a short survey of the Automath project and a description of recent developments. The main subject, to be found in Section 2, is an explanatory survey of all papers selected for this Volume.
|Title of host publication||Selected Papers on Automath|
|Editors||R.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de|
|Place of Publication||Amsterdam|
|Publisher||North-Holland Publishing Company|
|Publication status||Published - 1994|
|Name||Studies in Logic|