Lectures on Logic and Computation

ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

Editors:

ISBN: 978-3-642-31484-1 (Print) 978-3-642-31485-8 (Online)