skip to content
Formal sentential entailment Preview this item
ClosePreview this item
Checking...

Formal sentential entailment

Author: Charles F Kielkopf
Publisher: Washington : University Press of America, ©1977.
Edition/Format:   Print book : EnglishView all editions and formats
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

Additional Physical Format: Online version:
Kielkopf, Charles F.
Formal sentential entailment.
Washington : University Press of America, ©1977
(OCoLC)701746326
Document Type: Book
All Authors / Contributors: Charles F Kielkopf
ISBN: 0819103136 9780819103130
OCLC Number: 3915366
Description: ix, 405 pages ; 22 cm
Responsibility: Charles F. Kielkopf.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/3915366> # Formal sentential entailment
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "3915366" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/13227002#Place/washington> ; # Washington
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/dcu> ;
    schema:about <http://dewey.info/class/160/> ;
    schema:about <http://id.loc.gov/authorities/classification/BC199> ;
    schema:about <http://id.worldcat.org/fast/912582> ; # Entailment (Logic)
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "1977" ;
    schema:creator <http://viaf.org/viaf/44426928> ; # Charles F. Kielkopf
    schema:datePublished "1977" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/13227002> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/701746326> ;
    schema:name "Formal sentential entailment"@en ;
    schema:productID "3915366" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/3915366#PublicationEvent/washington_university_press_of_america_1977> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/13227002#Agent/university_press_of_america> ; # University Press of America
    schema:workExample <http://worldcat.org/isbn/9780819103130> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/3915366> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/13227002#Agent/university_press_of_america> # University Press of America
    a bgn:Agent ;
    schema:name "University Press of America" ;
    .

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

<http://viaf.org/viaf/44426928> # Charles F. Kielkopf
    a schema:Person ;
    schema:familyName "Kielkopf" ;
    schema:givenName "Charles F." ;
    schema:name "Charles F. Kielkopf" ;
    .

<http://worldcat.org/isbn/9780819103130>
    a schema:ProductModel ;
    schema:isbn "0819103136" ;
    schema:isbn "9780819103130" ;
    .

<http://www.worldcat.org/oclc/701746326>
    a schema:CreativeWork ;
    rdfs:label "Formal sentential entailment." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/3915366> ; # Formal sentential entailment
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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