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.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..