Introduction to Mathematical Logic 6th Edition by Elliott Mendelson, ISBN-13: 978-1482237726