Selected papers on Automath /

Bibliographic Details

Other Authors:	Nederpelt, R. P. (Rob P.)
Format:	Book
Language:	English
Published:	Amsterdam ; New York : Elsevier, [1994]
Series:	Studies in logic and the foundations of mathematics ; v. 133.
Subjects:	AUTOMATH (Formal language)