Selected papers on Automath
By: edited by R.P. Nederpelt ... [et al.].
Contributors: Nederpelt, R. P.
Series: Studies in logic and the foundations of mathematics ;; v. 133
Publisher: Elsevier
Published: 1994
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 1024
Subjects: AUTOMATH (Formal language)
Notes: Includes bibliographical references and indexes.