by Bernd S . W . Schröder (Author)
* Enforces the fundamental rule that you are not allowed to use any results that you have not proved yet, and consequently starts with an axiomatic system and builds from there * Introduces proof methods in a separate section of the Logic chapter to facilitate the development of proof writing skills.
Format: Hardcover
Pages: 338
Publisher: Wiley-Blackwell
Published: 10 Sep 2010
ISBN 10: 0470551380
ISBN 13: 9780470551387