Ομιλητής Τεύκρος Μιχαηλίδης Η διερεύνηση της συνέπειας και της πληρότητας ενός αξιωματικού συστήματος είναι μια από τις πιο σκοτεινές και μυστηριώδεις περιοχές της μαθηματικής λογικής, ίσως και του συνόλου των […]