Βρέθηκαν 2 αποτελέσματα

Επιλέξτε την εφαρμογή κριτηρίων αναζήτησης απο την παρακάτω λίστα, στα αποτελέσματα που βρέθηκαν:

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