APA Zitierstil

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

Chicago Zitierstil

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

MLA Zitierstil

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.