Logic, logic, and logic - Boolos, George S. (Harvard Univ. Press, 1999)
Auch als: Fundamenta informaticae ; 41,1-2