Cita APA (7a ed.)
Vlčková, J., & Kollár, J. (2023). Gentzenov kalkulus a automatické dokazovanie formúl predikátovej logiky. STU v Bratislave FEI.
Cita Chicago Style (17a ed.)
Vlčková, Jana, y Jozef Kollár. Gentzenov Kalkulus A automatické Dokazovanie Formúl Predikátovej Logiky. Bratislava: STU v Bratislave FEI, 2023.
Cita MLA (9a ed.)
Vlčková, Jana, y Jozef Kollár. Gentzenov Kalkulus A automatické Dokazovanie Formúl Predikátovej Logiky. STU v Bratislave FEI, 2023.
Precaución: Estas citas no son 100% exactas.