TY  - BOOK
A1  - / Professor Rob Nederpelt, Professor Herman Geuvers
TI  - Type Theory and Formal Proof: An Introduction
PB  - کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند
SN  - 93612529
UR  /book/93612529/Type-Theory-and-Formal-Proof-An-Introduction/
ER  -