APA ציטוט

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

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