شماره ركورد :
26889
شماره مدرك :
4385353
نويسنده/تنالگان :
Rob Nederpelt
عنوان :
Type Theory and Formal Proof: An Introduction
اطلاعات نشر :
Cambridge University Press
سال نشر :
2014
شابك :
110703650X;9781107036505
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=26&DC=26889
