APA (7th ed.) Citation

Alrubyli & Yazeed. (2021, August 13). Natural Deduction Calculus for First-Order Logic. arXiv.org.

Chicago Style (17th ed.) Citation

Alrubyli and Yazeed. "Natural Deduction Calculus for First-Order Logic." ArXiv.org 13 Aug. 2021.

MLA (9th ed.) Citation

Alrubyli and Yazeed. "Natural Deduction Calculus for First-Order Logic." ArXiv.org, 13 Aug. 2021.

Warning: These citations may not always be 100% accurate.