Melham, T. (1994). The HOL Logic Extended with Quantification over Type Variables.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
MLA -ийн эшлэл (9 дэх хэвлэлт)Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.