|
|
|
|
| LEADER |
00000nam a2200000 4500 |
| 001 |
068ec200-8b56-4d1c-94ec-702bd0d63bad |
| 005 |
20240705000000.0 |
| 008 |
830224s1973 quc b 000 0 eng |
| 010 |
|
|
|a 73167871
|
| 015 |
|
|
|a C***
|
| 020 |
|
|
|a 0840502230
|
| 035 |
|
|
|a (OCoLC)707931
|
| 040 |
|
|
|d MnU
|
| 050 |
0 |
0 |
|a QA267.3
|b .B78
|
| 082 |
0 |
|
|a 511/.3
|
| 100 |
1 |
|
|a Bruijn, N. G. de
|q (Nicolaas Govert de)
|
| 245 |
1 |
0 |
|a Automath ;
|b a language for mathematics.
|
| 260 |
|
|
|a Montréal :
|b Les Presses de L'Université de Montréal,
|c 1973.
|
| 300 |
|
|
|a 62 leaves ;
|c 28 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
| 490 |
1 |
|
|a Séminaire de mathématiques supérieures;
|v 52
|
| 500 |
|
|
|a At head of title: Université de Montréal--Département de Mathématiques.
|
| 500 |
|
|
|a "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."
|
| 504 |
|
|
|a Bibliography: leaves [56]-58.
|
| 650 |
|
0 |
|a AUTOMATH (Formal language)
|
| 650 |
|
0 |
|a Formal languages
|
| 830 |
|
0 |
|a Séminaire de mathématiques supérieures
|v 52.
|
| 999 |
1 |
0 |
|i 068ec200-8b56-4d1c-94ec-702bd0d63bad
|l 9921667770001701
|s US-MNU
|m automathlanguage_for_mathematics___________________________________________1973_______lespra________________________________________bruijn__n__g__de___________________p
|
| 999 |
1 |
1 |
|l 9921667770001701
|s ISIL:US-MNU
|i University of Minnesota
|t BKS
|a TMATHGEN
|c Quarto QA267.3 .B78
|d LCC
|b 31951000056898E
|x BOOK
|y 23345789990001701
|p LOANABLE
|