Logic for Mathematicians - Hamilton, A. G. (Cambridge University Press, 1988)
βιβλιογραφια: σ.219 Περιέχει ασκήσεις