Τρίτη 4 Απριλίου
Συνέχεια στην ιντουισιονιστικη λογική. Lattices. Άλγεβρες Boole. Άλγεβρα Lindenbaum. Άλγεβρα Heyting.