APA citiranje

Schneider, K., & Brandt, J. (2020). Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg.

Trích dẫn kiểu Chicago

Schneider, Klaus, và Jens Brandt. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.

MLA citiranje

Schneider, Klaus, và Jens Brandt. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.

Opozorilo: Ti citati niso vedno 100% točni.