Logic II - Johnson W E (New York Dover Publication, 1964)