Book

Computer Science Logic

by Zoltán Ésik