skip to content
Proofs, categories and computations : essays in honor of Grigori Mints Preview this item
ClosePreview this item
Checking...

Proofs, categories and computations : essays in honor of Grigori Mints

Author: Solomon Feferman; Wilfried Sieg; G E Mint︠s︡
Publisher: London : College Publications, ©2010.
Series: Tributes (London, England), 13.
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: Solomon Feferman; Wilfried Sieg; G E Mint︠s︡
ISBN: 1848900120 9781848900127
OCLC Number: 670184439
Description: x, 310 pages : illustrations ; 24 cm.
Series Title: Tributes (London, England), 13.
Responsibility: edited by Solomon Feferman and Wilfried Sieg ; with the collaboration of Vladik Kreinovich, Vladimir Lifschitz and Ruy de Queiroz.

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/670184439> # Proofs, categories and computations : essays in honor of Grigori Mints
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "670184439" ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh85042295> ; # Computer science--Mathematics
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/67525053> ; # Wilfried Sieg
   schema:contributor <http://viaf.org/viaf/266334008> ; # G. E. Mint︠s︡
   schema:contributor <http://viaf.org/viaf/34535231> ; # Solomon Feferman
   schema:copyrightYear "2010" ;
   schema:datePublished "2010" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/686020922> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/686020922#Series/tributes_london_england> ; # Tributes (London, England) ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/686020922#Series/tributes> ; # Tributes ;
   schema:name "Proofs, categories and computations : essays in honor of Grigori Mints"@en ;
   schema:productID "670184439" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/670184439#PublicationEvent/london_college_publications_2010> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/686020922#Agent/college_publications> ; # College Publications
   schema:workExample <http://worldcat.org/isbn/9781848900127> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/670184439> ;
    .


Related Entities

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

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

<http://experiment.worldcat.org/entity/work/data/686020922#Series/tributes> # Tributes ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/670184439> ; # Proofs, categories and computations : essays in honor of Grigori Mints
   schema:name "Tributes ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/686020922#Series/tributes_london_england> # Tributes (London, England) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/670184439> ; # Proofs, categories and computations : essays in honor of Grigori Mints
   schema:name "Tributes (London, England) ;" ;
    .

<http://id.loc.gov/authorities/subjects/sh85042295> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

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

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/266334008> # G. E. Mint︠s︡
    a schema:Person ;
   schema:familyName "Mint︠s︡" ;
   schema:givenName "G. E." ;
   schema:name "G. E. Mint︠s︡" ;
    .

<http://viaf.org/viaf/34535231> # Solomon Feferman
    a schema:Person ;
   schema:familyName "Feferman" ;
   schema:givenName "Solomon" ;
   schema:name "Solomon Feferman" ;
    .

<http://viaf.org/viaf/67525053> # Wilfried Sieg
    a schema:Person ;
   schema:birthDate "1945" ;
   schema:familyName "Sieg" ;
   schema:givenName "Wilfried" ;
   schema:name "Wilfried Sieg" ;
    .

<http://worldcat.org/isbn/9781848900127>
    a schema:ProductModel ;
   schema:isbn "1848900120" ;
   schema:isbn "9781848900127" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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