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.
एमएलए (9वां संस्करण) प्रशस्ति पत्रMelham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.