00746nam0-22002531i-450-99000121765040332120071016125951.0000121765FED01000121765(Aleph)000121765FED0100012176520001205d1973----km-y0itay50------baengAutomatha language for mathematicsby Bruijn,N.G.MontréalLes Presses de l'Université de Montréal1973.Séminaire de Mathématiques Supérieures52Bruijn,Nicolaas Govert : de56660ITUNINARICAUNIMARCBK99000121765040332125-C-5214891MA1MA1Automath343052UNINA