Logic for Programming, Artificial Intelligence, and Reasoning > Editions
by Martin D. Davis
Published December 3rd 2015
by Springer
1st ed. 2015, Paperback, 655 pages
Published February 13th 2016
by Springer
Paperback, 658 pages
Published December 1st 2015
by Springer
1st ed. 2015, Kindle Edition, 658 pages



