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 : 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: 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://experiment.worldcat.org/entity/work/data/16411859#Person/lewis_harry_r> ; # Harry R. Lewis
   schema:datePublished "1979" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/16411859> ;
   schema:inLanguage "en" ;
   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://experiment.worldcat.org/entity/work/data/16411859#Person/lewis_harry_r> # 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.