Logic with Trees : An Introduction to Symbolic Logic.
Title:
Logic with Trees : An Introduction to Symbolic Logic.
Author:
Howson, Colin.
ISBN:
9780203976739
Personal Author:
Edition:
1st ed.
Physical Description:
1 online resource (210 pages)
Contents:
Book Cover -- Half-Title -- Title -- Copyright -- Dedication -- Contents -- Acknowledgments -- Introduction -- Part I Truth-functional logic -- 1 The basics -- 2 Truth trees -- 3 Propositional languages -- 4 Soundness and completeness -- Part II First-order logic -- 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.
Abstract:
First published in 1997. Routledge is an imprint of Taylor & Francis, an informa company.
Local Note:
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2017. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Subject Term:
Genre:
Electronic Access:
Click to View