Mathematical Logic for Computer Science

Mathematical Logic for Computer Science


Designed to provide a firm foundation in mathematical logic, this book provides an elementary yet rigorous textbook for both graduate study and for applications of logic, such as logic programming and

Read more...