A presentation of the fundamental ideas that generate the formal systems of predicate logic. This text clearly relates predicate logic to reasoning in ordinary language, with hundreds of examples of formalization, with a clear theory of how to formalize ordinary arguments. The writing is exceptionally clear and easy to read.
- ISBN10 0534558461
- ISBN13 9780534558468
- Publish Date 1 December 2001
- Publish Status Active
- Out of Print 11 April 2012
- Publish Country US
- Publisher Cengage Learning, Inc
- Imprint Wadsworth Publishing Co Inc
- Format Paperback
- Pages 480
- Language English