qrcode

Automath; a language for mathematics

By: Contributor(s):
Material type: TextTextSeries: Univ. of Montreal, Seminaire de Mathematiques superieures-ETE 1971, v.52Publication details: Montreal Les Presses de L'Universite de Montreal 1973Description: 62p. BiblSubject(s):
DDC classification:
  • 518.5424 B892.AL
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Book Book ISID 518.5424 B892.AL (Browse shelf(Opens below)) Available DP16372

There are no comments on this title.

to post a comment.
Library, Indian Statistical Institute, Delhi Centre, 7 S.J.S. Sansanwal Marg, New Delhi - 110 016 (India)
Tel. 91-11 - 4149 3975 / 3976 | Fax. 91-11 - 4149 3981 | Email: library@isid.ac.in