Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

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

Citace podle MLA (9th ed.)

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..