(eBook PDF) Higher Order Logic Theorem Proving and its Applications Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992
(eBook PDF) Higher Order Logic Theorem Proving and its Applications Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992
ibuks
MSRP:
Was:
Now:
$30.00
(You save
)
(No reviews yet)
Write a Review
Write a Review
ibuks
(eBook PDF) Higher Order Logic Theorem Proving and its Applications Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992
- SKU:
- UPC:
- Condition:
- New
ibuks
(eBook PDF) Production Theory and Its Applications: Proceedings of a Workshop
MSRP:
Was:
Now:
$19.99
ibuks
(eBook PDF) Direct and Converse Theorems The Elements of Symbolic Logic
MSRP:
Was:
Now:
$30.00
!