APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.