| Name | Last modified | Size | |
|---|---|---|---|
 | Parent Directory | ||
 | An introduction to Boolean Algebra and Logic in Computers.pdf | 2022-02-22 06:15 | 189 KB |
| Logic For Computer Science. Foundations of Automatic Theorem Proving. Jean H. Gallier (2003).pdf | 2022-02-22 06:15 | 3106 KB |
| Logic for Computer Science. Steve Reeves and Mike Clarke (1990).pdf | 2022-02-22 06:15 | 1916 KB |