Description |
1 online resource (xiii, 197 pages) : illustrations |
Physical Medium |
polychrome |
Description |
text file |
Bibliography |
Includes bibliographical references (pages 189-190) and indexes. |
Contents |
Book Cover; Half-Title; Title; Copyright; Dedication; Contents; Acknowledgments; Introduction; 1 The basics; 2 Truth trees; 3 Propositional languages; 4 Soundness and completeness; 5 Introduction; 6 First-order languages: syntax and two more tree rules; 7 First-order languages: semantics; 8 Soundness and completeness; 9 Identity; 10 Alternative deductive systems for first-order logic; 11 First-order theories; 12 Beyond the fringe; Notation; Answers to selected exercises; References; Name index; Subject index. |
Summary |
Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring. |
Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
Subject |
Logic, Symbolic and mathematical.
|
|
Logic, Symbolic and mathematical. |
Genre/Form |
Electronic books.
|
Other Form: |
Print version: Howson, Colin. Logic with trees. London ; New York : Routledge, 1997 (DLC) 96007315 |
ISBN |
0203976738 (electronic book) |
|
9780203976739 (electronic book) |
|
9780415133425 |
|
0415133424 |
|
9780415133418 (hardcover) |
|
0415133416 (hardcover) |
|
0415133424 |
|
0415133416 (hardcover) |
|