Logic for Artificial Intelligence and … by Gabbay, Dov M. Paperback / softback This textbook covers both theory and hands-on exercises in equal measure.
