Theorem Proving in Higher Order Logics

MLA

Hurd, Joe, et al. Theorem Proving In Higher Order Logics. Springer Berlin / Heidelberg, 2005.

APA

Hurd, J., Kanade, T., Melham, T. F, Melham, T., & Kittler, J. (2005). Theorem Proving in Higher Order Logics. Springer Berlin / Heidelberg.

Chicago

Hurd, Joe, Takeo Kanade, Tom F Melham, Tom Melham, and Josef Kittler. Theorem Proving In Higher Order Logics. : Springer Berlin / Heidelberg, 2005.