Styl cytowania APA

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

Styl cytowania Chicago

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

Styl cytowania MLA

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

Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..