Selected Papers on Automath (STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS) - Hardcover

Nederpelt, R. P.

 
9780444898227: Selected Papers on Automath (STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
Hardcover
ISBN 10: 0444898220 ISBN 13: 9780444898227
Verlag: Elsevier Science Ltd, 1994

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Elsevier Science Ltd
Erscheinungsdatum
1994
Sprache
Englisch
ISBN 10 
0444898220
ISBN 13 
9780444898227
Einband
Gebundene Ausgabe
Anzahl der Seiten
1044
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar