Reading list: Theodosios CHIMONIDIS
Mathematical/Symbolic/Philosiphical Logic