Selected papers on Automath /

Saved in:

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)

University of Minnesota

Holdings details from University of Minnesota
Call Number:	QA267.3 .S45 1994