Μια μαθηματική εισαγωγή στη λογική - Enderton, Herbert B. (Πανεπιστημιακή βιβλιοθήκη θετικών επιστημών. Μαθηματικά., 2018)