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:   Print 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

Genre/Form: Einführung
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


Primary Entity

<http://www.worldcat.org/oclc/293438> # Formal logic: its scope and limits
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "293438" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/405595#Topic/einfuhrung> ; # Einführung
   schema:about <http://dewey.info/class/160/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/405595#Topic/formele_logica> ; # Formele logica
   schema:about <http://experiment.worldcat.org/entity/work/data/405595#Topic/afleiding_logica> ; # Afleiding (logica)
   schema:about <http://experiment.worldcat.org/entity/work/data/405595#Topic/wiskundige_logica> ; # Wiskundige logica
   schema:about <http://id.loc.gov/authorities/classification/BC71> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/405595#Topic/waarheid> ; # Waarheid
   schema:about <http://experiment.worldcat.org/entity/work/data/405595#Topic/ontbrekende_gegevens> ; # Ontbrekende gegevens
   schema:about <http://experiment.worldcat.org/entity/work/data/405595#Topic/symbolische_logica> ; # Symbolische logica
   schema:about <http://experiment.worldcat.org/entity/work/data/405595#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/405595#Topic/equivalentie> ; # Equivalentie
   schema:about <http://experiment.worldcat.org/entity/work/data/405595#Topic/identiteitsbeginsel> ; # Identiteitsbeginsel
   schema:about <http://experiment.worldcat.org/entity/work/data/405595#Topic/logique> ; # Logique
   schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/405595#Person/jeffrey_richard_c> ; # Richard C. Jeffrey
   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:genre "Einführung"@en ;
   schema:inLanguage "en" ;
   schema:name "Formal logic: its scope and limits"@en ;
   schema:productID "293438" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/293438#PublicationEvent/new_york_mcgraw_hill1967> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/405595#Agent/mcgraw_hill> ; # McGraw-Hill
   schema:workExample <http://worldcat.org/isbn/9780070323162> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/293438> ;
    .


Related Entities

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

<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://experiment.worldcat.org/entity/work/data/405595#Topic/afleiding_logica> # Afleiding (logica)
    a schema:Intangible ;
   schema:name "Afleiding (logica)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/405595#Topic/identiteitsbeginsel> # Identiteitsbeginsel
    a schema:Intangible ;
   schema:name "Identiteitsbeginsel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/405595#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/405595#Topic/ontbrekende_gegevens> # Ontbrekende gegevens
    a schema:Intangible ;
   schema:name "Ontbrekende gegevens"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/405595#Topic/symbolische_logica> # Symbolische logica
    a schema:Intangible ;
   schema:name "Symbolische logica"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/405595#Topic/wiskundige_logica> # Wiskundige logica
    a schema:Intangible ;
   schema:name "Wiskundige logica"@en ;
    .

<http://id.worldcat.org/fast/1002014> # Logic
    a schema:Intangible ;
   schema:name "Logic"@en ;
    .

<http://worldcat.org/isbn/9780070323162>
    a schema:ProductModel ;
   schema:isbn "007032316X" ;
   schema:isbn "9780070323162" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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