Logic for computer science Foundations of automatic theorem proving - Gallier, Jean H. (John Wiley & Sons, 1987)
Βιβλιογραφία: σσ.489-493 περιέχει προβλήματα Να μην δανείζεται κανένα αντίτυπο μόνο για επιτόπια χρήση