handbook . logic . artificial . intelligence . programming . volume . logical . foundations . gabbay . dov . hogger . robinson .
Format
Author
Status
List Price