Logical Foundations of Computer Science > Editions
by Sergei Artemov
Published
by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Paperback, 428 pages
Published November 28th 2012
by Springer
Paperback, 428 pages
Published November 21st 2012
by Springer
2013, Paperback, 425 pages