Γριβοκωστοπούλου, Φ., & Χατζηλυγερούδης, Ι. (2010). Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων.
Παραπομπή σε μορφή Chicago (17η εκδ.)Γριβοκωστοπούλου, Φωτεινή, και Ιωάννης Χατζηλυγερούδης. Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων. 2010.
Παραπομπή σε μορφή MLA (8th εκδ.)Γριβοκωστοπούλου, Φωτεινή, και Ιωάννης Χατζηλυγερούδης. Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων. 2010.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.
