Automath : a language for mathematics

N.G. Bruijn, de

Research output: Book/ReportBookPopular

75 Downloads (Pure)
Original languageEnglish
Place of PublicationMontreal
PublisherPresses de l' Université de Montréal
Number of pages60
Publication statusPublished - 1973

Bibliographical note

Series of lectures at the "Séminaire de mathématiques supérieures, Université de Montréal, Canada, 1971"

Cite this