APA Citation

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

Chicago Style Citation

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

MLA Citation

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

Warning: These citations may not always be 100% accurate.