skip to content
Logic with trees : an introduction to symbolic logic Preview this item
ClosePreview this item
Checking...

Logic with trees : an introduction to symbolic logic

Author: Colin Howson
Publisher: London ; New York : Routledge, 1997.
Edition/Format:   eBook : Document : EnglishView all editions and formats
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.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Howson, Colin.
Logic with trees.
London ; New York : Routledge, 1997
(DLC) 96007315
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Colin Howson
ISBN: 0203976738 9780203976739 9780415133425 0415133424 9780415133418 0415133416 6610226504 9786610226504
OCLC Number: 191935978
Description: 1 online resource (xiii, 197 pages) : illustrations
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.
Responsibility: Colin Howson.
More information:

Abstract:

This book is a new and original introduction to modern formal logic. It also contains discussions on more philosophical issues such as truth, conditionals and modal logic.  Read more...

Reviews

Editorial reviews

Publisher Synopsis

"[Howson's] explanations are admirably clear, and directed to points that students find difficult ... [B]ooks in the middle ground, where one wants to cover non-trivial mathematical results in Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/191935978> # Logic with trees : an introduction to symbolic logic
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "191935978" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/793893460#Topic/philosophy_logic> ; # PHILOSOPHY--Logic
    schema:about <http://dewey.info/class/160/e20/> ;
    schema:about <http://id.loc.gov/authorities/classification/BC135> ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/32043444> ; # Colin Howson
    schema:datePublished "1997" ;
    schema:description "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."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/793893460> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/793893460#CreativeWork/logic_with_trees> ;
    schema:name "Logic with trees : an introduction to symbolic logic"@en ;
    schema:productID "191935978" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/191935978#PublicationEvent/london_new_york_routledge_1997> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/793893460#Agent/routledge> ; # Routledge
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=141170> ;
    schema:url <http://proxy.library.carleton.ca/login?url=https://www.taylorfrancis.com/books/9780203976739> ;
    schema:url <http://site.ebrary.com/lib/aunigeria/Doc?id=10017151> ;
    schema:url <https://ebookcentral.proquest.com/lib/ualberta/detail.action?docID=254445> ;
    schema:url <http://site.ebrary.com/lib/rdcollege/Doc?id=10017151> ;
    schema:url <http://ebookcentral.proquest.com/lib/rdc/detail.action?docID=254445> ;
    schema:url <http://www.tandfebooks.com/isbn/9780203976739> ;
    schema:url <http://www.dawsonera.com/depp/reader/protected/external/AbstractView/S9780203976739> ;
    schema:url <http://ezproxy.agpc.talonline.ca:80/login?url=http://site.ebrary.com/lib/gprc/Doc?id=10017151> ;
    schema:url <http://site.ebrary.com/lib/concordiaab/Doc?id=10017151> ;
    schema:url <https://ebookcentral.proquest.com/lib/concordiaab-ebooks/detail.action?docID=254445> ;
    schema:url <http://www.myilibrary.com?id=22650> ;
    schema:url <http://gold.worcester.edu/login?url=http://site.ebrary.com/lib/worcesteruniv/Doc?id=10017151> ;
    schema:url <http://ezproxy.viu.ca/login?url=http://ezproxy.viu.ca/login?url=https://www.taylorfrancis.com/books/9781134785513> ;
    schema:url <http://site.ebrary.com/lib/macewan/Doc?id=10017151> ;
    schema:url <https://www.taylorfrancis.com/books/9780203976739> ;
    schema:url <http://ebookcentral.proquest.com/lib/macewan-ebooks/detail.action?docID=254445> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://www.myilibrary.com?id=22650> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=e000xna&AN=141170> ;
    schema:url <http://ebookcentral.proquest.com/lib/concordiaab-ebooks/detail.action?docID=254445> ;
    schema:url <https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=254445> ;
    schema:url <https://ebookcentral.proquest.com/lib/kingsu-ebooks/detail.action?docID=254445> ;
    schema:url <http://site.ebrary.com/id/10017151> ;
    schema:url <http://ebookcentral.proquest.com/lib/gprc-ebooks/detail.action?docID=254445> ;
    schema:url <http://www.myilibrary.com?id=22650&ref=toc> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=254445> ;
    schema:url <http://0-search.ebscohost.com.librarycatalog.vts.edu/login.aspx?direct=true&scope=site&db=nlebk&AN=141170> ;
    schema:workExample <http://worldcat.org/isbn/9780415133418> ;
    schema:workExample <http://worldcat.org/isbn/9780415133425> ;
    schema:workExample <http://worldcat.org/isbn/9786610226504> ;
    schema:workExample <http://worldcat.org/isbn/9780203976739> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/191935978> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://ebookcentral.proquest.com/lib/concordiaab-ebooks/detail.action?docID=254445>
    rdfs:comment "from Ebook Central Academic Complete" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://ebookcentral.proquest.com/lib/gprc-ebooks/detail.action?docID=254445>
    rdfs:comment "from Ebook Central Academic Complete" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://ebookcentral.proquest.com/lib/macewan-ebooks/detail.action?docID=254445>
    rdfs:comment "from Ebook Central Academic Complete" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://ebookcentral.proquest.com/lib/rdc/detail.action?docID=254445>
    rdfs:comment "from Ebook Central Academic Complete" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://experiment.worldcat.org/entity/work/data/793893460#Topic/philosophy_logic> # PHILOSOPHY--Logic
    a schema:Intangible ;
    schema:name "PHILOSOPHY--Logic"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=e000xna&AN=141170>
    rdfs:comment "from EBSCO Academic Collection" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://site.ebrary.com/lib/aunigeria/Doc?id=10017151>
    rdfs:comment "An electronic book accessible through the World Wide Web; click to view" ;
    .

<http://site.ebrary.com/lib/macewan/Doc?id=10017151>
    rdfs:comment "from ebrary" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/32043444> # Colin Howson
    a schema:Person ;
    schema:familyName "Howson" ;
    schema:givenName "Colin" ;
    schema:name "Colin Howson" ;
    .

<http://worldcat.org/entity/work/data/793893460#CreativeWork/logic_with_trees>
    a schema:CreativeWork ;
    rdfs:label "Logic with trees." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/191935978> ; # Logic with trees : an introduction to symbolic logic
    .

<http://worldcat.org/isbn/9780203976739>
    a schema:ProductModel ;
    schema:isbn "0203976738" ;
    schema:isbn "9780203976739" ;
    .

<http://worldcat.org/isbn/9780415133418>
    a schema:ProductModel ;
    schema:isbn "0415133416" ;
    schema:isbn "9780415133418" ;
    .

<http://worldcat.org/isbn/9780415133425>
    a schema:ProductModel ;
    schema:isbn "0415133424" ;
    schema:isbn "9780415133425" ;
    .

<http://worldcat.org/isbn/9786610226504>
    a schema:ProductModel ;
    schema:isbn "6610226504" ;
    schema:isbn "9786610226504" ;
    .

<https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=254445>
    rdfs:comment "Available to Stanford-affiliated users." ;
    .

<https://ebookcentral.proquest.com/lib/ualberta/detail.action?docID=254445>
    rdfs:comment "from Ebook Central Academic Complete" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<https://www.taylorfrancis.com/books/9780203976739>
    rdfs:comment "from Taylor & Francis" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.