Mathematical Logic For Computer Science PDF
160 Pages·1993·20.381 MB·English
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
Preview Mathematical Logic For Computer Science
Description:
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 formal specification and verification. The text supplies the mathematics often treated sketchily in introductory computer science books, while using the simplest techniques rather than the most general used in mathematical books.
See more
The list of books you might like
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
