APA-referens

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

Chicago-stil citat

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

MLA-referens

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

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.