Section outline

  • Τρίτη 28 Μαρτίου 

    Τελευταία ενότητα σε λ-λογισμό: δημιουργία ζεύγους, αλήθειας, ψεύδους, θεώρημα σταθερού σημείου


    Τετάρτη 29 Μαρτίου

    Κατασκευαστική λογική, ιντουισιονισμός, φυσικές επαγωγές (Gentzen's natural deductions)