Αγγλικός Όρος

Labelled Deductive Systems

Πηγή

Gabbay (1996)

Προτεινόμενος Ελληνικός Όρος

Όρος

σεσημασμένα συστήματα συνεπαγωγής (τα)

Πηγή

Ξυδόπουλος (2007)

feedback