APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.