αρχείο Email: Γραμμική λογική, δίκτυα αποδείξεων και επέκταση στο υπολογιστικό μοντέλο των δικτύων αλληλεπιδράσεων =