Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.