This text provides a straightforward, lively but rigorous, introduction to truth-functional and predicate logic, complet
233 21 1MB
English Pages 224 [306] Year 2003
Report DMCA / Copyright
DOWNLOAD FILE
251 34 678KB Read more
323 60 4MB Read more
321 106 5MB Read more
Imelda Choquette (Translator)
323 89 88MB Read more
385 78 8MB Read more
267 89 22MB Read more
517 81 27MB Read more
This text is appropriate for a senior or first-year graduate course on logic programming. It concentrates on the formal
251 128 4MB Read more
430 154 256MB Read more
For courses in Introduction to Logic and Formal Logic. This clearly written volume covers symbolization, proofs, counter
328 112 47MB Read more