Logical Foundations of Computer Science > Editions
by Sergei Artemov
Published December 14th 2019
by Springer
1st ed. 2020, Paperback, 300 pages
Published December 13th 2019
by Springer
1st ed. 2020, Kindle Edition, 300 pages