TY  - BOOK
A1  - / Thomas Streicher
TI  - Semantics of type theory : correctness, completeness, and independence results
PB  - كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين
SN  - 101489907
UR  /book/101489907/Semantics-of-type-theory-correctness-completene/
ER  -