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: Reading, Mass. : Addison-Wesley Pub. Co., 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

Additional Physical Format: Online version:
Lewis, Harry R.
Unsolvable classes of quantificational formulas.
Reading, Mass. : Addison-Wesley Pub. Co., 1979
(OCoLC)988091703
Document Type: Book
All Authors / Contributors: Harry R Lewis
ISBN: 0201040697 9780201040692
OCLC Number: 5219400
Notes: "Advanced Book Program."
Includes indexes.
Description: xv, 198 pages : illustrations ; 24 cm
Responsibility: Harry R. Lewis.

Reviews

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

Tags

Be the first.
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/5219400> # Unsolvable classes of quantificational formulas
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "5219400" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/16411859#Place/reading_mass> ; # Reading, Mass.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://dewey.info/class/511.3/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/16411859#Topic/berechenbarkeit> ; # Berechenbarkeit
    schema:about <http://experiment.worldcat.org/entity/work/data/16411859#Topic/non_resolubilite_logique_mathematique> ; # Non-résolubilité (logique mathématique)
    schema:about <http://id.worldcat.org/fast/868961> ; # Combinatorial analysis
    schema:about <http://id.worldcat.org/fast/871985> ; # Computable functions
    schema:about <http://experiment.worldcat.org/entity/work/data/16411859#Topic/echantillonnage> ; # échantillonnage
    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/analyse_combinatoire> ; # Analyse combinatoire
    schema:about <http://experiment.worldcat.org/entity/work/data/16411859#Topic/fonctions_calculables> ; # Fonctions calculables
    schema:about <http://experiment.worldcat.org/entity/work/data/16411859#Topic/systeme_combinatoire> ; # système combinatoire
    schema:about <http://id.worldcat.org/fast/1162046> ; # Unsolvability (Mathematical logic)
    schema:bookFormat bgn:PrintBook ;
    schema:creator <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:isSimilarTo <http://www.worldcat.org/oclc/988091703> ;
    schema:name "Unsolvable classes of quantificational formulas"@en ;
    schema:productID "5219400" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/5219400#PublicationEvent/reading_mass_addison_wesley_pub_co_1979> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/16411859#Agent/addison_wesley_pub_co> ; # Addison-Wesley Pub. Co.
    schema:workExample <http://worldcat.org/isbn/9780201040692> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/5219400> ;
    .


Related Entities

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

<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://experiment.worldcat.org/entity/work/data/16411859#Place/reading_mass> # Reading, Mass.
    a schema:Place ;
    schema:name "Reading, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/16411859#Topic/analyse_combinatoire> # Analyse combinatoire
    a schema:Intangible ;
    schema:name "Analyse combinatoire"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/16411859#Topic/echantillonnage> # échantillonnage
    a schema:Intangible ;
    schema:name "échantillonnage"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/16411859#Topic/fonctions_calculables> # Fonctions calculables
    a schema:Intangible ;
    schema:name "Fonctions calculables"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/16411859#Topic/non_resolubilite_logique_mathematique> # Non-résolubilité (logique mathématique)
    a schema:Intangible ;
    schema:name "Non-résolubilité (logique mathématique)"@en ;
    schema:name "Non-résolubilité (Logique mathématique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/16411859#Topic/systeme_combinatoire> # système combinatoire
    a schema:Intangible ;
    schema:name "système combinatoire"@en ;
    .

<http://id.worldcat.org/fast/1162046> # Unsolvability (Mathematical logic)
    a schema:Intangible ;
    schema:name "Unsolvability (Mathematical logic)"@en ;
    .

<http://id.worldcat.org/fast/868961> # Combinatorial analysis
    a schema:Intangible ;
    schema:name "Combinatorial analysis"@en ;
    .

<http://id.worldcat.org/fast/871985> # Computable functions
    a schema:Intangible ;
    schema:name "Computable functions"@en ;
    .

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

<http://www.worldcat.org/oclc/988091703>
    a schema:CreativeWork ;
    rdfs:label "Unsolvable classes of quantificational formulas." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/5219400> ; # Unsolvable classes of quantificational formulas
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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