Παραπομπή APA

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

Παραπομπή Chicago Style

Schneider, Klaus, και Jens Brandt. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.

Παραπομπή MLA

Schneider, Klaus, και Jens Brandt. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.