Μαθηματική λογική θεωρία και πράξη - Τουρλάκης, Γιώργος (Πανεπιστημιακή βιβλιοθήκη θετικών επιστημών, 2011)