Customer Reviews


There are no customer reviews yet.  Create your own review

This product

Towards constructive induction in first-order predicate calculus (TIRM)
Out of stock
Add to wishlist