Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Warning: These citations may not always be 100% accurate.