ΠΛΗΡΟΦΟΡΙΚΗ ΚΑΙ ΑΡΧΑΙΟΕΛΛΗΝΙΚΗ ΛΟΓΙΚΗ (του Δημοσθένη Κυριαζή)
«Λογική είναι η επιστήμη που έχει ως αντικείμενο μελέτης την ορθή νόηση· τους νόμους των νοητικών διαδικασιών, τις αρχές εγκυρότητας των επιχειρημάτων, τις μεθόδους εξαγωγής συμπερασμάτων, τον έλεγχο της ορθότητας των».