This item is provided by the institution :

Repository :
Kallipos Repository
see the original item page
in the repository's web site and access all digital files if the item*
share



Chapter (EN)

2016 (EN)

Πρωτοβάθμια κατηγορηματική Λογική
First-order predicate calculus

Κολέτσος, Γεώργιος
Koletsos, Georgios

7

Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ


Greek

2016-02-04


2016-02-04T13:03:06Z
2021-07-09T15:09:52Z




*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)