APA Alıntı

Claesen, L. J. M. (1993). Higher order logic theorem proving and its applications.

Chicago Stili Alıntı

Claesen, Luc J M. Higher Order Logic Theorem Proving and Its Applications. North-Holland Publishing Co., Amsterdam, 1993.

MLA Alıntı

Claesen, Luc J M. Higher Order Logic Theorem Proving and Its Applications. 1993.