Fields of Logic and Computation [E-Book] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig.
Blass, Andreas
Dershowitz, Nachum / Reisig, Wolfgang
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
online resource
Lecture Notes in Computer Science ; 6300
Full Text
Description not available.