Clausal form logic an introduction to the logic of computer reasoning

Bibliografske podrobnosti
Glavni avtor: Richards, Tom
Format: Knjiga
Jezik:angleščina
Izdano: Sydney Addison-Wesley c1989.
Teme: