Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.