Logical Foundations of Computer Science--Tver '92 > Editions
by Anil Nerode First published July 1992
Published January 1st 1992
by Springer Verlag
Paperback, 514 pages
Published March 12th 2014
by Springer
Paperback, 528 pages