एपीए उद्धरण

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

शिकागो स्टाइल उद्धरण

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

एमएलए उद्धरण

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