Automath ; a language for mathematics.

Saved in:

Bibliographic Details
Main Author:	Bruijn, N. G. de (Nicolaas Govert de)
Format:	Book
Language:	English
Published:	Montréal : Les Presses de L'Université de Montréal, 1973.
Series:	Séminaire de mathématiques supérieures 52.
Subjects:	AUTOMATH (Formal language) Formal languages

University of Minnesota

Holdings details from University of Minnesota
Call Number:	Quarto QA267.3 .B78