Automath; a language for mathematics/ N. G. de Bruijn.
Series: Séminaire de mathématiques supérieures ; 52.Publication details: Montréal: Les Presses de L'Université de Montréal, 1973.Description: 62 l.: 28 cmISBN:- 0840502230
- 511/.3
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Coleções de Monografias (Monographs Collections) | 1 | Available | 39063000269327 |
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: leaves [56]-58.
There are no comments on this title.