Theorem Proving in Higher Order Logics

MLA

Berghofer, Stefan, et al. Theorem Proving In Higher Order Logics. Springer Berlin Heidelberg, 2009.

APA

Berghofer, S., Kanade, T., Nipkow, T., Urban, C., & Wenzel, M. (2009). Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg.

Chicago

Berghofer, Stefan, Takeo Kanade, Tobias Nipkow, Christian Urban, and Makarius Wenzel. Theorem Proving In Higher Order Logics. : Springer Berlin Heidelberg, 2009.