Book

Computer Science Logic

by Egon Börger, Gerhard Jäger, Michael M. Richter, Hans Kleine Büning