Μια μαθηματική εισαγωγή στη λογική - Enderton, Herbert B. (Πανεπιστημιακές Εκδόσεις Κρήτης, 2013)
Περιλαμβάνει ευρετήριο.