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% ճշգրիտ լինել.