Clausal form logic : an introduction to the logic of computer reasoning /
Richards, Tom
Clausal form logic : an introduction to the logic of computer reasoning / Tom Richards - Sydney : Addison-Wesley, 1989
0201129205
Clausal form logic : an introduction to the logic of computer reasoning / Tom Richards - Sydney : Addison-Wesley, 1989
0201129205
