Υποβολή Σχολίου

Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard