Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
A First Course in Logic
PreviewsReadr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
Covering propositional logic, first-order logic, and second-order logic and proof theory, computability theory, and model theory, this text also includes exercises carefully assessed by many and is ideal for a first course or refresher.
Computer eBook Details
- ISBN-10: 0198529813
- ISBN-13: 9780198529811
- Publisher: Oxford University Press
- Pages: 452
- Date: September 2004