Automath : a language for mathematics

Research output: Book/Report › Book › Popular

99 Downloads (Pure)

Original language	English
Place of Publication	Montreal
Publisher	Presses de l' Université de Montréal
Number of pages	60
Publication status	Published - 1973

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

Access to Document

@book{f895285fd2cf4152bc52dbad70640172,

title = "Automath : a language for mathematics",

author = "\{Bruijn, de\}, N.G.",

note = "Series of lectures at the {"}S{\'e}minaire de math{\'e}matiques sup{\'e}rieures, Universit{\'e} de Montr{\'e}al, Canada, 1971{"}",

year = "1973",

language = "English",

publisher = "Presses de l' Universit{\'e} de Montr{\'e}al",

}