APA Citatie

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

Chicago Style citaat

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

MLA citatie

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

Let op: Deze citaties zijn niet altijd 100% accuraat.