Σύστημα Hilbert

Σύστημα Hilbert

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Koletsos, Georgios, Κολέτσος, Γεώργιος
Μορφή: 7
Γλώσσα:Greek
Έκδοση: 2016
Θέματα:
ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ
Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
Διαθέσιμο Online:http://localhost:8080/jspui/handle/11419/2309
id kallipos-11419-2309
record_format dspace
spelling kallipos-11419-23092021-07-11T22:02:31Z Σύστημα Hilbert Hilbert system Koletsos, Georgios Κολέτσος, Γεώργιος ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism 2016-02-04T13:03:36Z 2021-07-09T15:09:20Z 2016-02-04T13:03:36Z 2021-07-09T15:09:20Z 2016-02-04 7 http://localhost:8080/jspui/handle/11419/2309 el 1 application/pdf
institution Kallipos
collection DSpace
language Greek
topic ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ
Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
spellingShingle ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ
Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
Koletsos, Georgios
Κολέτσος, Γεώργιος
Σύστημα Hilbert
format 7
author Koletsos, Georgios
Κολέτσος, Γεώργιος
author_facet Koletsos, Georgios
Κολέτσος, Γεώργιος
author_sort Koletsos, Georgios
title Σύστημα Hilbert
title_short Σύστημα Hilbert
title_full Σύστημα Hilbert
title_fullStr Σύστημα Hilbert
title_full_unstemmed Σύστημα Hilbert
title_sort σύστημα hilbert
publishDate 2016
url http://localhost:8080/jspui/handle/11419/2309
work_keys_str_mv AT koletsosgeorgios systēmahilbert
AT koletsosgeōrgios systēmahilbert
AT koletsosgeorgios hilbertsystem
AT koletsosgeōrgios hilbertsystem
_version_ 1771301284833394688

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