Logic for Computer Science by Jean Gallier
| ISBN: | 9780486780825 |
| Publication date: | 26th June 2015 |
| Author: | Jean Gallier |
| Publisher: | Dover Publications Inc. |
| Format: | Paperback |
| Pagination: | 544 pages |
| Series: | Dover Books on Computer Science |
| Genres: |
Mathematical logic |