skip to content
Unsolvable Classes of Quantificational Formulas. Preview this item
ClosePreview this item
Checking...

Unsolvable Classes of Quantificational Formulas.

Author: Harry R Lewis
Publisher: London : Addison-Wesley Publishing Company, 1979.
Edition/Format:   Print book
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: Harry R Lewis
ISBN: 0201040697 9780201040692
OCLC Number: 476000728
Description: 198 s. : ill.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(2)

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/476000728> # Unsolvable Classes of Quantificational Formulas.
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "476000728" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    schema:about <http://experiment.worldcat.org/entity/work/data/16411859#Topic/unlosbarkeit> ; # Unlösbarkeit
    schema:about <http://experiment.worldcat.org/entity/work/data/16411859#Topic/berechenbarkeit> ; # Berechenbarkeit
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/44438248> ; # Harry R. Lewis
    schema:datePublished "1979" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/16411859> ;
    schema:name "Unsolvable Classes of Quantificational Formulas." ;
    schema:productID "476000728" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/476000728#PublicationEvent/london_addison_wesley_publishing_company_1979> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/16411859#Agent/addison_wesley_publishing_company> ; # Addison-Wesley Publishing Company
    schema:workExample <http://worldcat.org/isbn/9780201040692> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/476000728> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/16411859#Agent/addison_wesley_publishing_company> # Addison-Wesley Publishing Company
    a bgn:Agent ;
    schema:name "Addison-Wesley Publishing Company" ;
    .

<http://viaf.org/viaf/44438248> # Harry R. Lewis
    a schema:Person ;
    schema:familyName "Lewis" ;
    schema:givenName "Harry R." ;
    schema:name "Harry R. Lewis" ;
    .

<http://worldcat.org/isbn/9780201040692>
    a schema:ProductModel ;
    schema:isbn "0201040697" ;
    schema:isbn "9780201040692" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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