skip to content
Formal logic : its scope and limits Preview this item
ClosePreview this item
Checking...

Formal logic : its scope and limits

Author: Richard C Jeffrey; John P Burgess
Publisher: Indianapolis : Hackett Pub. Co., ©2006.
Edition/Format:   Print book : English : 4th ed.View all editions and formats
Database:WorldCat
Summary:

Offers a text employing the tree method, a formal system of first-order logic. This book allows students to take control of the nuts and bolts of formal logic, and to move on to complex and abstract  Read more...

Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Textbooks
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Richard C Jeffrey; John P Burgess
ISBN: 0872208133 9780872208131
OCLC Number: 62393229
Description: xii, 172 pages : illustrations ; 24 cm
Contents: Ch. 1. Truth-functional logic --
Ch. 2. Truth trees --
Ch. 3. Generality --
Ch. 4. Multiple generality --
Ch. 5. Identity --
Ch. 6. Functions --
Ch. 7. Uncomputability --
Ch. 8. Undecidability --
Ch. 9. Incompleteness --
Supplement A. Truth-functional equivalence --
Supplement B. Variant methods.
Responsibility: Richard Jeffrey.
More information:

Reviews

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/62393229> # Formal logic : its scope and limits
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "62393229" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/405595#Place/indianapolis> ; # Indianapolis
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/inu> ;
   schema:about <http://dewey.info/class/160/e22/> ;
   schema:about <http://id.worldcat.org/fast/925803> ; # First-order logic
   schema:about <http://id.loc.gov/authorities/classification/BC128> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh85048595> ; # First-order logic
   schema:bookEdition "4th ed. /" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/106951403> ; # John P. Burgess
   schema:copyrightYear "2006" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/405595#Person/jeffrey_richard_c> ; # Richard C. Jeffrey
   schema:datePublished "2006" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/405595> ;
   schema:genre "Textbooks"@en ;
   schema:inLanguage "en" ;
   schema:name "Formal logic : its scope and limits"@en ;
   schema:productID "62393229" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/62393229#PublicationEvent/indianapolis_hackett_pub_co_2006> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/405595#Agent/hackett_pub_co> ; # Hackett Pub. Co.
   schema:url <http://catdir.loc.gov/catdir/toc/fy0701/2005055005.html> ;
   schema:workExample <http://worldcat.org/isbn/9780872208131> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/62393229> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/405595#Agent/hackett_pub_co> # Hackett Pub. Co.
    a bgn:Agent ;
   schema:name "Hackett Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/405595#Person/jeffrey_richard_c> # Richard C. Jeffrey
    a schema:Person ;
   schema:familyName "Jeffrey" ;
   schema:givenName "Richard C." ;
   schema:name "Richard C. Jeffrey" ;
    .

<http://id.loc.gov/authorities/subjects/sh85048595> # First-order logic
    a schema:Intangible ;
   schema:name "First-order logic"@en ;
    .

<http://id.worldcat.org/fast/925803> # First-order logic
    a schema:Intangible ;
   schema:name "First-order logic"@en ;
    .

<http://viaf.org/viaf/106951403> # John P. Burgess
    a schema:Person ;
   schema:birthDate "1948" ;
   schema:familyName "Burgess" ;
   schema:givenName "John P." ;
   schema:name "John P. Burgess" ;
    .

<http://worldcat.org/isbn/9780872208131>
    a schema:ProductModel ;
   schema:isbn "0872208133" ;
   schema:isbn "9780872208131" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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