Βρέθηκε 1 αποτέλεσμα
Βρέθηκε 1 αποτέλεσμα , σύνολο σελίδων 1.
Εφαρμοζόμενα κριτήρια αναζήτησης: Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών ♦ Κολέτσος, Γεώργιος ♦ Επιστήμη των υπολογιστών Ακύρωση των κριτηρίων αναζήτησης
Περιορισμός αποτελεσμάτων με τη χρήση επιπλέον κριτηρίων αναζήτησης
Λίστα μετα τα αποτελέσματα αναζήτησης:
  1. Μαθηματική λογική : Τυπικά συστήματα, τα θεωρήματα του Gödel, θεωρία αποδείξεων - Αθήνα: Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, 2015
    Συγγραφέας: Κολέτσος, Γεώργιος