Type theory and formal proof: an Introduction
Geuvers, Jan Herman, Nederpelt, R. Pหมวดหมู่:
ปี:
2014
สำนักพิมพ์:
Cambridge University Press
ภาษา:
english
จำนวนหน้า:
436
ISBN 10:
110703650X
ISBN 13:
9781107036505
ไฟล์:
PDF, 1.92 MB
IPFS:
,
english, 2014