APA Alıntı

Hurd, J., & Melham, T. (2020). Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg.

Chicago Stili Alıntı

Hurd, Joe, ve Tom Melham. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.

MLA Alıntı

Hurd, Joe, ve Tom Melham. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.

Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..