Skip to main content
Taylor & Francis Group Logo
Advanced Search

Click here to search books using title name,author name and keywords.

  • Login
  • Hi, User  
    • Your Account
    • Logout
Advanced Search

Click here to search books using title name,author name and keywords.

Breadcrumbs Section. Click here to navigate to respective pages.

Book

Logic with Trees

Book

Logic with Trees

DOI link for Logic with Trees

Logic with Trees book

An Introduction to Symbolic Logic

Logic with Trees

DOI link for Logic with Trees

Logic with Trees book

An Introduction to Symbolic Logic
ByColin Howson
Edition 1st Edition
First Published 1997
eBook Published 27 February 1997
Pub. Location London
Imprint Routledge
DOI https://doi.org/10.4324/9780203976739
Pages 224
eBook ISBN 9780203976739
Subjects Humanities
Share
Share

Get Citation

Howson, C. (1997). Logic with Trees: An Introduction to Symbolic Logic (1st ed.). Routledge. https://doi.org/10.4324/9780203976739

ABSTRACT

First published in 1997. Routledge is an imprint of Taylor & Francis, an informa company.

TABLE OF CONTENTS

part |1 pages

Part I: Truth-functional logic

chapter 1|12 pages

The basics

chapter 2|16 pages

Truth trees

chapter 3|16 pages

Propositional languages

chapter 4|12 pages

Soundness and completeness

part |1 pages

Part II: First-order logic

chapter 5|13 pages

Introduction

chapter 6|12 pages

First-order languages: syntax and two more tree rules

chapter 7|13 pages

First-order languages: semantics

chapter 8|12 pages

Soundness and completeness

chapter 9|17 pages

Identity

chapter 10|10 pages

Alternative deductive systems for first-order logic

chapter 11|16 pages

First-order theories

chapter 12|11 pages

Beyond the fringe

T&F logoTaylor & Francis Group logo
  • Policies
    • Privacy Policy
    • Terms & Conditions
    • Cookie Policy
    • Privacy Policy
    • Terms & Conditions
    • Cookie Policy
  • Journals
    • Taylor & Francis Online
    • CogentOA
    • Taylor & Francis Online
    • CogentOA
  • Corporate
    • Taylor & Francis Group
    • Taylor & Francis Group
    • Taylor & Francis Group
    • Taylor & Francis Group
  • Help & Contact
    • Students/Researchers
    • Librarians/Institutions
    • Students/Researchers
    • Librarians/Institutions
  • Connect with us

Connect with us

Registered in England & Wales No. 3099067
5 Howick Place | London | SW1P 1WG © 2021 Informa UK Limited