Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

2001 • 346 pages