APA citiranje

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

Trích dẫn kiểu Chicago

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

MLA citiranje

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

Opozorilo: Ti citati niso vedno 100% točni.