| Έτος | Τίτλος | Ιδιότητα | Εκδοτικός Οίκος | Δέσιμο |
|---|---|---|---|---|
| 2001 | Βασική θεωρία υπολογισιμότητας : Μηχανές Turing, αναδρομικές συναρτήσεις, αλγοριθμική ανεπιλυσιμότητα | Συγγραφέας | Ζήτη | Χαρτόδετο |
| 2000 | Θεμελίωση και σημασιολογία γλωσσών προγραμματισμού : Λογισμοί λ | Συγγραφέας | Ζήτη | Χαρτόδετο |
| 2000 | Βασική λογική : Σύνολα δικτυωτά, προτασιακά και τροπικά συστήματα λογικής | Συγγραφέας | Ζήτη | Χαρτόδετο |
| Έτος | Τίτλος | Εκδοτικός Οίκος | Δέσιμο |
|---|---|---|---|
| 2001 | Βασική θεωρία υπολογισιμότητας : Μηχανές Turing, αναδρομικές συναρτήσεις, αλγοριθμική ανεπιλυσιμότητα | Ζήτη | Χαρτόδετο |
| 2000 | Θεμελίωση και σημασιολογία γλωσσών προγραμματισμού : Λογισμοί λ | Ζήτη | Χαρτόδετο |
| 2000 | Βασική λογική : Σύνολα δικτυωτά, προτασιακά και τροπικά συστήματα λογικής | Ζήτη | Χαρτόδετο |
| Έτος | Τίτλος | Εκδοτικός Οίκος | Δέσιμο |
|---|---|---|---|
| Δεν βρέθηκαν έργα | |||
| Έτος | Τίτλος | Εκδοτικός Οίκος | Δέσιμο |
|---|---|---|---|
| Δεν βρέθηκαν έργα | |||
| Έτος | Τίτλος | Εκδοτικός Οίκος | Δέσιμο |
|---|---|---|---|
| Δεν βρέθηκαν έργα | |||
| Έτος | Τίτλος | Ιδιότητα | Εκδοτικός Οίκος | Δέσιμο |
|---|---|---|---|---|
| Δεν βρέθηκαν έργα | ||||
| Τίτλος Κριτικής | Αναφερόμενα Βιβλία | Ημ/νία | Πηγή |
|---|---|---|---|
| Δεν βρέθηκαν κριτικές | |||
