Logical Foundations of Computer Science > Editions
by Sergei Artemov
Published December 14th 2015
by Springer
1st ed. 2016, Kindle Edition, 880 pages
Published February 12th 2016
by Springer
Paperback, 420 pages
Published December 10th 2015
by Springer
1st ed. 2016, Paperback, 417 pages