Handbook of the History of Logic, Volume 9: Computational Logic
#9 of 4 in Handbook of the History of Logic

Handbook of the History of Logic, Volume 9

Computational Logic

By
Dov M. Gabbay
Dov M. Gabbay(Contributor)
2013 • 736 pages