skip to content
Proof Theory and Intuitionistic Systems Preview this item
ClosePreview this item
Checking...

Proof Theory and Intuitionistic Systems

Publisher: Berlin [u.a.] Springer 1971
Series: Lecture Notes in Mathematics, 212
Edition/Format:   Computer file : English
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Internet Resource, Computer File
ISBN: 9783540055419 354005541X 9783540368755 3540368752
OCLC Number: 837997388
Description: Online-Ressource.
Series Title: Lecture Notes in Mathematics, 212

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/837997388> # Proof Theory and Intuitionistic Systems
    a bgn:ComputerFile, schema:CreativeWork ;
    library:oclcnum "837997388" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3945348418#Place/berlin_u_a> ; # Berlin u.a.
    schema:about <http://dewey.info/class/510/> ;
    schema:datePublished "1971" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3945348418> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3945348418#Series/> ; #
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3945348418#Series/lecture_notes_in_mathematics> ; # Lecture Notes in Mathematics
    schema:isSimilarTo <http://worldcat.org/entity/work/data/3945348418#CreativeWork/> ;
    schema:name "Proof Theory and Intuitionistic Systems" ;
    schema:productID "837997388" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/837997388#PublicationEvent/berlin_u_a_springer1971> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3945348418#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/BFb0068783> ;
    schema:workExample <http://dx.doi.org/10.1007/BFb0068783> ;
    schema:workExample <http://worldcat.org/isbn/9783540368755> ;
    schema:workExample <http://worldcat.org/isbn/9783540055419> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/837997388> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3945348418#Series/lecture_notes_in_mathematics> # Lecture Notes in Mathematics
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/837997388> ; # Proof Theory and Intuitionistic Systems
    schema:name "Lecture Notes in Mathematics" ;
    .

<http://worldcat.org/isbn/9783540055419>
    a schema:ProductModel ;
    schema:isbn "354005541X" ;
    schema:isbn "9783540055419" ;
    .

<http://worldcat.org/isbn/9783540368755>
    a schema:ProductModel ;
    schema:isbn "3540368752" ;
    schema:isbn "9783540368755" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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