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
Publisher: New York, McGraw-Hill [1967]
Edition/Format:   Book : EnglishView all editions and formats
Database:WorldCat
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

Document Type: Book
All Authors / Contributors: Richard C Jeffrey
ISBN: 007032316X 9780070323162
OCLC Number: 293438
Description: xii, 238 pages illustrations 23 cm
Contents: pt. 1: Compound statements --
Introduction --
Logical equivalence --
Truth-functions --
Truth trees --
Adequacy of the method. trees and proofs --
pt. 2: Quantification --
Inference rules for quantifiers --
Multiple quantification. translation --
Adequacy of the tree method --
Identity. functions --
Undecidability. incompleteness.
Responsibility: [by] Richard C. Jeffrey.

Reviews

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

Tags

All user tags (2)

View most popular tags as: tag list | tag cloud

  • jds  (by 1 person)
  • logic  (by 1 person)
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


<http://www.worldcat.org/oclc/293438>
library:oclcnum"293438"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/293438>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:creator
schema:datePublished"1967"
schema:description"pt. 1: Compound statements -- Introduction -- Logical equivalence -- Truth-functions -- Truth trees -- Adequacy of the method. trees and proofs -- pt. 2: Quantification -- Inference rules for quantifiers -- Multiple quantification. translation -- Adequacy of the tree method -- Identity. functions -- Undecidability. incompleteness."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/405595>
schema:inLanguage"en"
schema:name"Formal logic: its scope and limits"@en
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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