Mendelson, Elliott Introduction to Mathematical Logic - 2th ed. - New York Van Nostrand Reinhold Company 1979 - 328p includes index and biblioraphy ISBN: 0442253079 200 Dewey Class. No.: N14 / M522