automated reasoning in higher-order logic
Chad E. Brown (Author) · college publications · Physical Book
$ 37.05
$ 44.00
You save: $ 6.95
Choose the list to add your product or create one New List
Go to My WishlistsDo you have a question about the book? Login to be able to add your own question.