Citáce podľa APA (7th ed.)
Vlčková, J., & Kollár, J. (2023). Gentzenov kalkulus a automatické dokazovanie formúl predikátovej logiky. STU v Bratislave FEI.
Citácia podle Chicago (17th ed.)
Vlčková, Jana, a Jozef Kollár. Gentzenov Kalkulus A automatické Dokazovanie Formúl Predikátovej Logiky. Bratislava: STU v Bratislave FEI, 2023.
Citácia podľa MLA (8th ed.)
Vlčková, Jana, a Jozef Kollár. Gentzenov Kalkulus A automatické Dokazovanie Formúl Predikátovej Logiky. STU v Bratislave FEI, 2023.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..