Browsing by ???browse.type.metadata.subjectTerm??? I. MATHEMATICS AND COMPUTER SCIENCE::MATHEMATICS::MATHEMATICAL LOGIC AND FOUNDATIONS
Showing results 1 to 14 of 14
| Preview | Title | Author(s) | Type | ???itemlist.local.istemp??? |
 | Μαθηματική Λογική | Κολέτσος, Γεώργιος; Koletsos, Georgios | 1 | 1 |
 | Θεμελιώδεις Έννοιες των Μαθηματικών | Βάρσος, Δημήτριος; Varsos, Dimitrios | 1 | 1 |
 | Σημειώσεις στην Περιγραφική Θεωρία Συνόλων | Γρηγοριάδης, Βασίλειος; Gregoriades, Vassilios | 2 | 1 |
 | Διακριτά Μαθηματικά | Σούλιου, Δώρα; Souliou, Dora; Πατσιλινάκος, Παναγιώτης; Patsilinakos, Panagiotis; Φωτάκης, Δημήτριος; Fotakis, Dimitrios | 1 | 1 |
 | Σύστημα Hilbert | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
 | Αποδεικτικό σύστημα | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
 | Η λογική των προτάσεων, προτασιακός λογισμός | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
 | Τα θεωρήματα μη πληρότητας του Gödel | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
 | Πρωτοβάθμια κατηγορηματική Λογική | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
 | Υπολογισιμότητα, αναδρομικές συναρτήσεις | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
 | Λάμβδα λογισμός και αποδείξεις, Ισομoρφισμός Curry-Howard | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
 | Συστήματα Gentzen | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
 | Συστήματα Tableaux | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
 | Εισαγωγή | Κολέτσος, Γεώργιος; Koletsos, Georgios | 7 | - |
