skip to content
Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory Preview this item
ClosePreview this item
Checking...

Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory

Author: Chad E Brown
Publisher: London : College Publications, ©2007.
Series: Studies in logic, v. 10.; Studies in logic., Logic and cognitive systems.
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

Document Type: Book
All Authors / Contributors: Chad E Brown
ISBN: 9781904987574 1904987575
OCLC Number: 266973289
Description: xviii, 542 pages : illustrations ; 24 cm.
Series Title: Studies in logic, v. 10.; Studies in logic., Logic and cognitive systems.
Responsibility: Chad E. Brown.

Reviews

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

Tags

Be the first.

Similar Items

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/266973289> # Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "266973289" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:about <http://id.worldcat.org/fast/1159972> ; # Type theory
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2007" ;
   schema:creator <http://viaf.org/viaf/62704160> ; # Chad E. Brown
   schema:datePublished "2007" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1220290099> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1220290099#Series/logic_and_cognitive_systems> ; # Logic and cognitive systems
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1220290099#Series/studies_in_logic> ; # Studies in logic.
   schema:name "Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory"@en ;
   schema:productID "266973289" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/266973289#PublicationEvent/london_college_publications_2007> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1220290099#Agent/college_publications> ; # College Publications
   schema:workExample <http://worldcat.org/isbn/9781904987574> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA905181> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/266973289> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/1220290099#Agent/college_publications> # College Publications
    a bgn:Agent ;
   schema:name "College Publications" ;
    .

<http://experiment.worldcat.org/entity/work/data/1220290099#Series/logic_and_cognitive_systems> # Logic and cognitive systems
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/266973289> ; # Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory
   schema:name "Logic and cognitive systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/1220290099#Series/studies_in_logic> # Studies in logic.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/266973289> ; # Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory
   schema:name "Studies in logic." ;
   schema:name "Studies in logic ;" ;
    .

<http://id.worldcat.org/fast/1159972> # Type theory
    a schema:Intangible ;
   schema:name "Type theory"@en ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

<http://viaf.org/viaf/62704160> # Chad E. Brown
    a schema:Person ;
   schema:familyName "Brown" ;
   schema:givenName "Chad E." ;
   schema:name "Chad E. Brown" ;
    .

<http://worldcat.org/isbn/9781904987574>
    a schema:ProductModel ;
   schema:isbn "1904987575" ;
   schema:isbn "9781904987574" ;
    .

<http://www.worldcat.org/title/-/oclc/266973289>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/266973289> ; # Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory
   schema:dateModified "2018-03-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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