Το βιβλίο αυτό γράφτηκε για να καλύψει διδακτική όλη δυο εξαμήνων στη Μαθηματική Λογική και στηρίχτηκε κατά τα δυο πρώτα κεφάλαια σε παλιότερες σημειώσεις. Τα θέματα που πραγματεύεται είναι `κλασσικά`, με την έννοια ότι τα βρίσκει κανείς, σε μικρότερη ή μεγαλύτερη έκταση, σ` οποιοδήποτε (ξένο) εγχειρίδιο του κλάδου. Τα βιβλία αυτά, πάντως, ανταποκρινόμενα σ` ένα καθεστώς διαβαθμισμένης και υψηλά εξειδικευμένης πανεπιστημιακής παιδείας έχουν ένα σαφή προσανατολισμό, άλλοτε προπτυχιακό, άλλοτε μεταπτυχιακό, άλλοτε ερευνητικό. Αντίθετα, το πρόβλημα με την πανεπιστημιακή διδασκαλία στην Ελλάδα -σ` οποιονδήποτε επιστημονικό χώρο- είναι ότι, λόγω έλλειψης μεταπτυχιακών σπουδών και έρευνας, αναγκάζεται να παρέχει ένα μίγμα στοιχειωδών και προχωρημένων γνώσεων με σκοπό και να εισάγει τον αναγνώστη στο αντικείμενο αλλά και να του δείξει μερικές ενδιαφέρουσες και δύσκολες πλευρές του. Δεν υπάρχουν περιθώρια επανειλημμένων προσεγγίσεων του θέματος σε κλιμακούμενο βάθος σε διάφορα στάδια σπουδής. Αυτό όμως είναι δύσκολο έργο και συχνά αποτυγχάνει και ως προς τα δυο του σκέλη. Η ίδια δυσκολία μεταφέρεται στο γράψιμο των βιβλίων. Απαιτούνται βιβλία που να ελίσσονται από το απλό στο πολύπλοκο, από τη διαίσθηση στην αυστηρότητα και ξανά πίσω, καταργώντας το διαχωρισμό των εννοιών σε `στοιχειώδεις` και `προχωρημένες`. Πρέπει να περιέχουν και τη σύγχρονη κατάσταση των ιδεών και την ιστορική πορεία και τις αιτίες που τις γέννησαν. (...)

[Απόσπασμα από το κείμενο του προλόγου]