Ένα κλασικό πλέον βιβλίο Μαθηματικής Λογικής, κλάδου των Μαθηματικών με ραγδαία ανάπτυξη τα τελευταία πενήντα χρόνια, χάρις κυρίως στην επέλαση της Πληροφορικής.

Ο Rene Cori και ο Daniel Lascar, με πολυετή εμπειρία διδασκαλίας στο Πανεπιστήμιο Παρίσι 7, προσφέρουν μια ευρεία και εύστοχη επισκόπηση του θέματος. Ο παιδαγωγικός χαρακτήρας του κειμένου ενισχύεται από τις πολυάριθμες ασκήσεις με τις λύσεις τους.