Book

Logic, Mathematics, and Computer Science

by Yves Nievergelt