Clausal form logic an introduction to the logic of computer reasoning

Opis bibliograficzny
1. autor: Richards, Tom
Format: Książka
Język:English
Wydane: Sydney Addison-Wesley c1989.
Hasła przedmiotowe: