Hutchison, D. (2017). Theorem Proving in Higher Order Logics. Springer.
Chicago Style CitationHutchison, David. Theorem Proving in Higher Order Logics. Springer, 2017.
MLA CitationHutchison, David. Theorem Proving in Higher Order Logics. Springer, 2017.
Warning: These citations may not always be 100% accurate.