Kallipos: Browsing DSpace

Support Kallipos by signing for its continuation!

Browsing by ???browse.type.metadata.subjectTerm??? I. MATHEMATICS AND COMPUTER SCIENCE::MATHEMATICS::MATHEMATICAL LOGIC AND FOUNDATIONS

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 20 of 23 next >

Title	Author(s)	Type	???itemlist.local.istemp???
Στοιχεία Μαθηματικών με εφαρμογές στην Επιπλοποιία	Καραγεώργος, Αντώνιος; Karageorgos, Antonios; Ντιντάκης, Ιωάννης; Ntintakis, Ioannis; Ράπτη, Έλλη; Rapti, Elli	1	1
Μαθηματική Λογική	Κολέτσος, Γεώργιος; Koletsos, Georgios	1	1
Θεμελιώδεις Έννοιες των Μαθηματικών	Βάρσος, Δημήτριος; Varsos, Dimitrios	1	1
Σημειώσεις στην Περιγραφική Θεωρία Συνόλων	Γρηγοριάδης, Βασίλειος; Gregoriades, Vassilios	2	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	-
Βασικές Έννοιες Άλγεβρας	Karageorgos, Antonios; Ntintakis, Ioannis; Rapti, Elli; Καραγεώργος, Αντώνιος; Ντιντάκης, Ιωάννης; Ράπτη, Έλλη	7	-
Εξισώσεις, Ανισώσεις και Συναρτήσεις	Karageorgos, Antonios; Ntintakis, Ioannis; Rapti, Elli; Καραγεώργος, Αντώνιος; Ντιντάκης, Ιωάννης; Ράπτη, Έλλη	7	-
Γεωμετρικά Στερεά	Karageorgos, Antonios; Ntintakis, Ioannis; Rapti, Elli; Καραγεώργος, Αντώνιος; Ντιντάκης, Ιωάννης; Ράπτη, Έλλη	7	-
Κλάσματα, Ποσοστά και Αναλογίες	Karageorgos, Antonios; Ntintakis, Ioannis; Rapti, Elli; Καραγεώργος, Αντώνιος; Ντιντάκης, Ιωάννης; Ράπτη, Έλλη	7	-
Γεωμετρικές Κατασκευές	Karageorgos, Antonios; Ntintakis, Ioannis; Rapti, Elli; Καραγεώργος, Αντώνιος; Ντιντάκης, Ιωάννης; Ράπτη, Έλλη	7	-
Παραμετροποίηση Προβλημάτων CAD/CAM	Karageorgos, Antonios; Ntintakis, Ioannis; Rapti, Elli; Καραγεώργος, Αντώνιος; Ντιντάκης, Ιωάννης; Ράπτη, Έλλη	7	-

Showing results 1 to 20 of 23 next >