Cover Image
Read Now

1
by Gabbay, Dov M., Schlechta, Karl
Published 2011
Springer Berlin Heidelberg
“... in logic and theoretical computer science...”