Westerbaan, B., Westerbaan, B., Kuyper, R., Tankink, C., Viehoff, R., & Barendregt, H. (2017). Statman's Hierarchy Theorem. Logical methods in computer science, 13, Issue 4, . https://doi.org/10.23638/LMCS-13(4:19)2017
Citácia podle Chicago (17th ed.)Westerbaan, Bram, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, a Henk Barendregt. "Statman's Hierarchy Theorem." Logical Methods in Computer Science 13, Issue 4 (2017). https://doi.org/10.23638/LMCS-13(4:19)2017.
Citácia podľa MLA (8th ed.)Westerbaan, Bram, et al. "Statman's Hierarchy Theorem." Logical Methods in Computer Science, vol. 13, Issue 4, 2017, https://doi.org/10.23638/LMCS-13(4:19)2017.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..