Browsing by ???browse.type.metadata.subjectTerm??? I. ΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗ::ΜΑΘΗΜΑΤΙΚΑ::ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΘΕΜΕΛΙΩΣΗ ΤΩΝ MΑΘΗΜΑΤΙΚΩΝ
Showing results 1 to 13 of 13
Preview | Title | Author(s) | Type | ???itemlist.local.istemp??? |
![kallipos-logiki-2015-FINAL-KOY.pdf.jpg](/retrieve/0ef77d52-7af2-4e84-8395-7e9daf10dc36/kallipos-logiki-2015-FINAL-KOY.pdf.jpg) | Μαθηματική Λογική | Κολέτσος, Γεώργιος; Koletsos, Georgios | 1 | 1 |
![53-VARSOS-Elements-of-advanced-mathematics.pdf.jpg](/retrieve/432ae8c1-1b16-4b35-9be1-73ead747e44a/53-VARSOS-Elements-of-advanced-mathematics.pdf.jpg) | Θεμελιώδεις Έννοιες των Μαθηματικών | Βάρσος, Δημήτριος; Varsos, Dimitrios | 1 | 1 |
![836-GRIGORIADES-Notes-on-Descriptive-Set-Theory.pdf.jpg](/retrieve/787e437f-5733-4161-9bef-f119acd90193/836-GRIGORIADES-Notes-on-Descriptive-Set-Theory.pdf.jpg) | Σημειώσεις στην Περιγραφική Θεωρία Συνόλων | Γρηγοριάδης, Βασίλειος; Gregoriades, Vassilios | 2 | 1 |
![02_chapter_5.pdf.jpg](/retrieve/5c5b789a-3e63-463e-bd81-0494267a76cb/02_chapter_5.pdf.jpg) | Σύστημα Hilbert | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
![02_chapter_3.pdf.jpg](/retrieve/49ad4669-75ce-4d84-bccf-6ed4478b1a56/02_chapter_3.pdf.jpg) | Αποδεικτικό σύστημα | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
![02_chapter_2.pdf.jpg](/retrieve/d605f196-a186-48d9-938a-b94956495f9c/02_chapter_2.pdf.jpg) | Η λογική των προτάσεων, προτασιακός λογισμός | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
![02_chapter_7.pdf.jpg](/retrieve/f39d6474-6067-45e0-b6d5-910335fb61fa/02_chapter_7.pdf.jpg) | Τα θεωρήματα μη πληρότητας του Gödel | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
![02_chapter_4.pdf.jpg](/retrieve/03f19ca2-ad17-4ec6-a526-f1566f61a3b0/02_chapter_4.pdf.jpg) | Πρωτοβάθμια κατηγορηματική Λογική | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
![02_chapter_6.pdf.jpg](/retrieve/cef41321-f026-41c1-8611-5b91f12b91eb/02_chapter_6.pdf.jpg) | Υπολογισιμότητα, αναδρομικές συναρτήσεις | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
![02_chapter_10.pdf.jpg](/retrieve/c97df190-ce8b-49ce-9b6a-e2c75f39d744/02_chapter_10.pdf.jpg) | Λάμβδα λογισμός και αποδείξεις, Ισομoρφισμός Curry-Howard | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
![02_chapter_8.pdf.jpg](/retrieve/eb721ef7-cfc7-436b-8e9a-a2305c3cebfe/02_chapter_8.pdf.jpg) | Συστήματα Gentzen | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
![02_chapter_9.pdf.jpg](/retrieve/bd751a00-3d6b-4d11-9a8c-efa570e59d1e/02_chapter_9.pdf.jpg) | Συστήματα Tableaux | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
![02_chapter_1.pdf.jpg](/retrieve/dee817e9-a488-4719-8746-f4dd6e282d3d/02_chapter_1.pdf.jpg) | Εισαγωγή | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |