Support Kallipos by signing for its continuation!
  1. Home
  2. Browsing DSpace

Browsing by Author Κολέτσος, Γεώργιος

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 16 of 16
PreviewTitleAuthor(s)Type???itemlist.local.istemp???
kallipos-logiki-2015-FINAL-KOY.pdf.jpgΜαθηματική ΛογικήΚολέτσος, Γεώργιος; Koletsos, Georgios11
merged_document_3-KOY.pdf.jpgΕφαρμογές της λογικής στην πληροφορικήΣτεφανέας, Πέτρος; Stefaneas, Petros; Κολέτσος, Γεώργιος; Koletsos, Georgios11
02_chapter_5.pdf.jpgΣύστημα HilbertΚολέτσος, Γεώργιος; Koletsos, Georgios7-
02_chapter_3.pdf.jpgΑποδεικτικό σύστημαΚολέτσος, Γεώργιος; Koletsos, Georgios7-
02_chapter_2.pdf.jpgΗ λογική των προτάσεων, προτασιακός λογισμόςΚολέτσος, Γεώργιος; Koletsos, Georgios7-
02_chapter_7.pdf.jpgΤα θεωρήματα μη πληρότητας του GödelΚολέτσος, Γεώργιος; Koletsos, Georgios7-
02_chapter_4.pdf.jpgΠρωτοβάθμια κατηγορηματική ΛογικήΚολέτσος, Γεώργιος; Koletsos, Georgios7-
02_chapter_6.pdf.jpgΥπολογισιμότητα, αναδρομικές συναρτήσειςΚολέτσος, Γεώργιος; Koletsos, Georgios7-
02_chapter_10.pdf.jpgΛάμβδα λογισμός και αποδείξεις, Ισομoρφισμός Curry-HowardΚολέτσος, Γεώργιος; Koletsos, Georgios7-
02_chapter_8.pdf.jpgΣυστήματα GentzenΚολέτσος, Γεώργιος; Koletsos, Georgios7-
02_chapter_9.pdf.jpgΣυστήματα TableauxΚολέτσος, Γεώργιος; Koletsos, Georgios7-
02_chapter_1.pdf.jpgΕισαγωγήΚολέτσος, Γεώργιος; Koletsos, Georgios7-
chapter_3.pdf.jpgΕΞΙΣΩΤΙΚΗ ΛΟΓΙΚΗStefaneas, Petros; Koletsos, Georgios; Στεφανέας, Πέτρος; Κολέτσος, Γεώργιος7-
chapter_1.pdf.jpgΛΟΓΙΚΗ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣStefaneas, Petros; Koletsos, Georgios; Στεφανέας, Πέτρος; Κολέτσος, Γεώργιος7-
chapter_2.pdf.jpgΘΕΩΡΙΑ ΤΥΠΩΝStefaneas, Petros; Koletsos, Georgios; Στεφανέας, Πέτρος; Κολέτσος, Γεώργιος7-
chapter_4.pdf.jpgΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣStefaneas, Petros; Koletsos, Georgios; Στεφανέας, Πέτρος; Κολέτσος, Γεώργιος7-
Showing results 1 to 16 of 16