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...

Full description

Bibliographic Details

Corporate Author:	ScienceDirect (Online service)
Other Authors:	Nederpelt, R. P. (Rob P.)
Format:	eBook
Language:	English
Published:	Amsterdam ; New York : Elsevier, 1994.
Series:	Studies in logic and the foundations of mathematics ; v. 133.
Subjects:	AUTOMATH (Formal language) AUTOMATH (Langage formel) MATHEMATICS > Infinity. MATHEMATICS > Logic. Combinatorische logica. Automath. Taal. Wiskunde. Logica. Mathematical logic Electronic books.
Online Access:	Connect to the full text of this electronic book