No Computational Aspects of an Order-Sorted Logic with Term Declarations Read a customer review or write one .
"synopsis" may belong to another edition of this title.
Seller: BOOKWEST, Phoenix, AZ, U.S.A.
Soft cover. Condition: New. US SELLER SHIPS FAST FROM USA. Seller Inventory # INTOK-153D1-0387517057-PB-1Pt7-lb