3 options
Logic with trees : an introduction to symbolic logic / Colin Howson.
- Format:
- Book
- Author/Creator:
- Howson, Colin.
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Physical Description:
- 1 online resource (210 p.)
- Edition:
- 1st ed.
- Place of Publication:
- London ; New York : Routledge, 1997.
- Language Note:
- English
- Summary:
- First Published in 1997. Routledge is an imprint of Taylor & Francis, an informa company.
- 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
- Notes:
- Description based upon print version of record.
- Includes bibliographical references (p. [189]-190) and indexes.
- ISBN:
- 1-134-78550-X
- 9786610226504
- 1-134-78551-8
- 1-280-22650-1
- 0-203-97673-8
- 9780203976739
- OCLC:
- 475968959
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.