Σύστημα Hilbert

Σύστημα Hilbert

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Koletsos, Georgios, Κολέτσος, Γεώργιος
Μορφή: 7
Γλώσσα:Greek
Έκδοση: 2016
Θέματα:
ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ
Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
Διαθέσιμο Online:http://localhost:8080/jspui/handle/11419/2309

Παρόμοια τεκμήρια

Παρόμοια τεκμήρια