ENGLISH

Selected papers on automath

By R.P. Nederpelt , J.H. Geuvers , R.C. de Vrijer

Book information

Publisher
Elsevier
Year
1994
ISBN
9780444898227, 0444898220
Language
english
Format
DJVU
Filesize
6 MB (6039178 bytes)
Series
Studies in Logic and the Foundations of Mathematics, Volume 133
Pages
1045\1045
Topic
Mathematics Logic
Library
Kolxo3
Time added
2010-07-29 05:14:56

Description

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 present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations.

Similar books