APA引文

Hutchison, D. (2017). Theorem Proving in Higher Order Logics. Springer.

Chicago Style Citation

Hutchison, David. Theorem Proving in Higher Order Logics. Springer, 2017.

MLA引文

Hutchison, David. Theorem Proving in Higher Order Logics. Springer, 2017.

警告：這些引文格式不一定是100％准確.