Clausal form logic an introduction to the logic of computer reasoning

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Richards, Tom
Μορφή: Βιβλίο
Γλώσσα:Αγγλικά
Έκδοση: Sydney Addison-Wesley c1989.
Θέματα: