UID:
almahu_9948607073602882
Format:
1 online resource (vii, 283 pages).
ISBN:
9780191916540 (ebook) :
Series Statement:
Oxford logic guides ; 36
Content:
Martin-Löf type theory is an important and practical formalisation of the foundations of mathematics. This volume celebrates the 25th anniversary of the birth of the subject, and is a record of areas of activity and of its early development.
Note:
Previously issued in print: Oxford: Clarendon Press, 1998.
Additional Edition:
Print version : ISBN 9780198501275
Language:
English
URL:
Oxford scholarship online