Research Catalog
Automath; a language for mathematics.
- Title
- Automath; a language for mathematics.
- Author
- Bruijn, N. G. de (Nicolaas Govert)
- Publication
- Montréal, Les Presses de L'Université de Montréal, 1973.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | QA267.3.B78 | Off-site |
Details
- Description
- 62 l.; 28 cm.
- Series Statement
- Séminaire de mathématiques supérieures, 52
- Subject
- AUTOMATH (Formal language)
- Note
- At head of title: Université de Montréal--Département de Mathématiques.
- "Notes du cours donné ... à la dixième session du Séminaire de mathématiques supérieures de l'Université de Montréal, tenue l'été 1971."
- Bibliography (note)
- Bibliography: leaves [56]-58.
- ISBN
- 0840502230
- LCCN
- 73167871 //r882
- Owning Institutions
- Princeton University Library