Applied symbolic logic - 328409 Lynch, Edward P. (New York : John Wiley, 1980)
50