skip to content
Proof-theoretical coherence Preview this item
ClosePreview this item
Checking...

Proof-theoretical coherence

Author: Kosta Došen; Zoran Petrić
Publisher: London : King's College Publications, ©2004.
Series: Studies in logic, v. 1.
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: Kosta Došen; Zoran Petrić
ISBN: 1904987060 9781904987062
OCLC Number: 57577163
Description: xiii, 369 pages : illustrations ; 24 cm.
Series Title: Studies in logic, v. 1.
Responsibility: Kosta Došen and Zoran Petrić.

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/57577163> # Proof-theoretical coherence
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "57577163" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/19161083#Topic/mathematical_logic_and_foundations> ; # Mathematical logic and foundations
   schema:about <http://dewey.info/class/512.62/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/19161083#Topic/bevisteori> ; # Bevisteori
   schema:about <http://experiment.worldcat.org/entity/work/data/19161083#Topic/proof_theory_and_constructive_mathematics> ; # Proof theory and constructive mathematics
   schema:about <http://id.worldcat.org/fast/849000> ; # Categories (Mathematics)
   schema:about <http://experiment.worldcat.org/entity/work/data/19161083#Topic/symbolisk_logik> ; # Symbolisk logik
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/43816026> ; # Zoran Petrić
   schema:copyrightYear "2004" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/19161083#Person/dosen_kosta> ; # Kosta Došen
   schema:datePublished "2004" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/19161083> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/19161083#Series/studies_in_logic> ; # Studies in logic ;
   schema:name "Proof-theoretical coherence"@en ;
   schema:productID "57577163" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/57577163#PublicationEvent/london_king_s_college_publications_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/19161083#Agent/king_s_college_publications> ; # King's College Publications
   schema:workExample <http://worldcat.org/isbn/9781904987062> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA507858> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/57577163> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/19161083#Agent/king_s_college_publications> # King's College Publications
    a bgn:Agent ;
   schema:name "King's College Publications" ;
    .

<http://experiment.worldcat.org/entity/work/data/19161083#Person/dosen_kosta> # Kosta Došen
    a schema:Person ;
   schema:familyName "Došen" ;
   schema:givenName "Kosta" ;
   schema:name "Kosta Došen" ;
    .

<http://experiment.worldcat.org/entity/work/data/19161083#Series/studies_in_logic> # Studies in logic ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/57577163> ; # Proof-theoretical coherence
   schema:name "Studies in logic ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/19161083#Topic/mathematical_logic_and_foundations> # Mathematical logic and foundations
    a schema:Intangible ;
   schema:name "Mathematical logic and foundations"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/19161083#Topic/proof_theory_and_constructive_mathematics> # Proof theory and constructive mathematics
    a schema:Intangible ;
   schema:name "Proof theory and constructive mathematics"@en ;
    .

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

<http://id.worldcat.org/fast/849000> # Categories (Mathematics)
    a schema:Intangible ;
   schema:name "Categories (Mathematics)"@en ;
    .

<http://viaf.org/viaf/43816026> # Zoran Petrić
    a schema:Person ;
   schema:familyName "Petrić" ;
   schema:givenName "Zoran" ;
   schema:name "Zoran Petrić" ;
    .

<http://worldcat.org/isbn/9781904987062>
    a schema:ProductModel ;
   schema:isbn "1904987060" ;
   schema:isbn "9781904987062" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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