Please use this identifier to cite or link to this item:
http://localhost:8080/xmlui/handle/123456789/129472| Title: | Intro to Logic |
| Authors: | Matthias Felleisen Phokion Kolaitis Ian Barland John Greiner Moshe Vardi |
| Issue Date: | 2010 |
| Publisher: | Rice University |
| Abstract: | An introduction to reasoning with propositional and first-order logic, with applications to computer science. Part of the TeachLogic Project |
| link: | https://cnx.org/contents/383d4b87-2d7b-454e-99fe-2eaa43eae8ff@20.20/Intro_to_Logic |
| Keywords: | Science and Technology |
| Theme: | 教科書-自然科學類 |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.