Theory of Deductive Systems and Its Applications - Maslov, S. Y. (Massachusetts Institute of Technology Cambridge Mass., 1987)
Βιβλιογραφία: σσ.149-151 περιέχει προβλήματα