APA ציטוט

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

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