APA (7e ed.) Bronvermelding

Melham, T. (1994). The HOL Logic Extended with Quantification over Type Variables.

Chicago (17e ed.) Bronvermelding

Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.

MLA (9e ed.) Bronvermelding

Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.

Let op: Deze citaties zijn niet altijd 100% accuraat.