The book is currently out of stock
Goal-directed reasoning in clausal logic with equality
Authors
Book variant
1996Book purchase
The book is currently out of stock.
1996We have over a million books in stock
1996We have over a million books in stock
1996