Picture 1 of 2


Gallery
Picture 1 of 2


Have one to sell?
Logic with Trees: An Introduction to ..., Howson, Colin
US $10.39
Approximately£7.69
Condition:
Good
A book that has been read, but is in good condition. Minimal damage to the book cover eg. scuff marks, but no holes or tears. If this is a hard cover, the dust jacket may be missing. Binding has minimal wear. The majority of pages are undamaged with some creasing or tearing, and pencil underlining of text, but this is minimal. No highlighting of text, no writing in the margins, and no missing pages. See the seller’s listing for full details and description of any imperfections.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Postage:
Free USPS Media MailTM.
Located in: Montgomery Illinois, United States
Delivery:
Estimated between Mon, 28 Jul and Thu, 31 Jul to 94104
Returns:
30 days return. Seller pays for return postage.
Payments:
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:315200378455
Item specifics
- Condition
- Book Title
- Logic with Trees: An Introduction to Symbolic Logic
- ISBN
- 0415133424
- EAN
- 9780415133425
- Release Title
- Logic with Trees: An Introduction to Symbolic Logic
- Artist
- Howson, Colin
- Brand
- N/A
- Colour
- N/A
About this product
Product Identifiers
Publisher
Routledge
ISBN-10
0415133424
ISBN-13
9780415133425
eBay Product ID (ePID)
452514
Product Key Features
Number of Pages
212 Pages
Publication Name
Logic with Trees : an Introduction to Symbolic Logic
Language
English
Subject
General, Logic
Publication Year
1997
Type
Textbook
Subject Area
Mathematics, Philosophy
Format
Uk-B Format Paperback
Dimensions
Item Height
0.4 in
Item Weight
11.2 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
College Audience
LCCN
96-007315
Dewey Edition
20
Illustrated
Yes
Dewey Decimal
160
Table Of Content
Introduction. Part 1: Truth-Functional Logic Chapter 1. The Basics 1. Deductively Valid Inference 2. Syntax: Connectives and the Principle of Composition 3. Semantics: Truth-Functionality 4. Negation and Conjunction 5. Disjunction 6. Truth-Functional Equivalence 7. The Conditional 8. Some Other Connectives, and the Biconditional Chapter 2. Truth Trees 1. Truth-Functionally Valid Inference 2. Conjugate Tree Diagrams 3. Truth Trees 4. Tautologies and Contradictions Chapter 3. Propositional Languages 1. Propositional Languages 2. Object Language and Metalanguage 3. Ancestral Trees 4. An Induction Principle 5. Multiple Conjunctions and Disjunctions 6. The Disjunctive Normal Form Theorem 7. Adequate Sets of Connectives 8. The Duality Principle 9. Conjunctive Normal Forms Chapter 4. Soundness and Completeness 1. The Standard Propositional Language 2. Truth Trees Again 3. Truth-Functional Consistency, Truth-Functionally Valid Inferences, and Trees 4. Soundness and Completeness Part 2: First Order Logic Chapter 5. Introduction 1. Some Non-Truth-Functional Inferences 2. Quantifiers and Variables 3. Relations 4. Formalising English Sentences Chapter 6. First Languages: Syntax and Two More Trees Rules 1. First Order Languages 2. Two More Tree Rules 3. Tree Proofs Chapter 7. First Order Languages: Semantics 1. Interpretations 2. Formulas and Truth 3. The Tree Rules Revisited 4. Consistency and Validity 5. Logical Truth and Logical Equivalence Chapter 8. Soundness and Completeness 1. Applying the Tree Rules 2. Branch Models 3. Soundness and Completeness Theorems 4. Compactness Chapter 9. Identity 1. Identity 2. Tree Rules For Identity 3. Some Arithmetic 4. Functions and Function Symbols 5. Working with Equations 6. Is Identity Part of Logic? Chapter 10. Alternative Deductive Systems for First Order Logic 1. Introduction 2. H 3 ND 4. Comparisons 5. Intuitionism Chapter 11. First Order Theories 1. First Order Theories 2. Infinite Cardinals 3. Lowenheim-Skolem Theorems 4. Second Order Languages 5. Completeness 6. The Liar Paradox Chapter 12. Beyond the Fringe 1. Counterfactual Conditions 2. Modal Propositional Logic 3. Indicative Conditionals and -> 4. Conclusion. List of Notation. Answers to Selected Exercises.
LC Classification Number
BC135.H68 1997
Item description from the seller
Seller business information
About this seller
worldofbooksinc
97.7% positive Feedback•1.2M items sold
Registered as a business seller
Seller Feedback (270,434)
- f***f (1588)- Feedback left by buyer.Past 6 monthsVerified purchaseExcellent Seller, Goes the Extra Mile. The Seller Was Incredibly Communicative. Smooth Transaction, Shipped Very Quickly, As Advertised; Good Price; Well Packaged & Delivered Within a Few Days. Item in Described Promised Condition, Thank You Very Much!!!!!!!!!!! A+
- p***m (268)- Feedback left by buyer.Past monthVerified purchaseA+ Highest Rating for this transaction. Nova Classic Volume 2 - Marvel / Paperback - condition & quality look really good, ALMOST NEW even better than described. Shipping was Fast (1 week) / packaging was thin mylar mailer, but no visible damage to book. Great price AND free shipping. I buy here often, and this transaction was flawless. 5 STARS
- e***n (2240)- Feedback left by buyer.Past monthVerified purchaseExcellent seller. Great communication , fast delivery, extra care in packing for shipment 📦, great price 💰, Came as shown in photo📸, I would do repeat buys in 1 sec with this seller. AAAA ++++. 5 st🌟rs. <(•🪖•)>
More to explore:
- Logic Non-Fiction Hardcover Books,
- Logic Adult Learning & University Books,
- Logic Adult Learning & University Books in English,
- Logic Paperback Adult Learning & University Books,
- Logic Non-Fiction Paperback Fiction & Books,
- Trees Non-Fiction Hardcover Books,
- The Faraway Tree Fiction Fiction & Books,
- The Magic Faraway Tree Fiction Hardcover Books,
- Oxford Reading Tree Non-Fiction Books,
- Enid Blyton The Faraway Tree Fiction Fiction & Books