Η συνδυαστική λογική είναι ένας από τους πιο ευέλικτους τομείς της λογικής που συνδέεται με μέρη της φιλοσοφικής, μαθηματικής και υπολογιστικής λογικής. Λειτουργώντας ως μια ολοκληρωμένη πηγή για τις τρέχουσες εξελίξεις της συνδυαστικής λογικής, αυτό το βιβλίο είναι το μοναδικό στο είδος του που καλύπτει τα αποτελέσματα των τελευταίων τεσσάρων δεκαετιών. Χρησιμοποιώντας ένα φιλικό προς τον αναγνώστη ύφος, ο συγγραφέας παρουσιάζει τις πιο ενημερωμένες ερευνητικές μελέτες. Περιλαμβάνει μια εισαγωγή στη συνδυαστική λογική πριν προχωρήσει στα κεντρικά θεωρήματα και τις αποδείξεις της. Το κείμενο κάνει έξυπνες και καλά ερευνημένες συνδέσεις μεταξύ της συνδυαστικής λογικής και των λογισμών λάμδα και παρουσιάζει μοντέλα και εφαρμογές για την απεικόνιση αυτών των συνδέσεων. . Γλώσσα: Αγγλικά