Logic and Algorithms With Applications to the Computer and Information Sciences - Korfhage, Robert R. (John Wiley & Sons, 1966)
περιέχει βιβλιογραφία και ασκησεις