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
Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Intuitionistisches System
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.

Similar Items

Related Subjects:(1)

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://experiment.worldcat.org/entity/work/data/3945348418#Topic/beweistheorie> ; # Beweistheorie
   schema:about <http://dewey.info/class/510/> ;
   schema:datePublished "1971" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3945348418> ;
   schema:genre "Intuitionistisches System" ;
   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 <https://doi.org/10.1007/BFb0068783> ;
   schema:url <http://dx.doi.org/10.1007/BFb0068783> ;
   schema:url <http://swbplus.bsz-bw.de/bsz40465102xcov.htm> ;
   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.