Hand bok of logic in artificial intelligence and logic programming Deduction methodologies vol 2 /

Gabbay, Dov M.

Hand bok of logic in artificial intelligence and logic programming Deduction methodologies vol 2 / - New York : Oxford Univeristy Press , 1994. - 511, p.s55/-