skip to content
Vollständige Systeme modaler und instuitionistischer Logik Preview this item
ClosePreview this item
Checking...

Vollständige Systeme modaler und instuitionistischer Logik

Author: Kurt Schütte
Publisher: Berlin ; Heidelberg ; New York : Springer, cop. 1968.
Series: Ergebnisse der Mathematik und ihrer Grenzgebiete, 42
Edition/Format:   Print book : GermanView 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: Kurt Schütte
ISBN: 3540040986 9783540040989
OCLC Number: 468123072
Notes: Bibliogr. p. 85. Index.
Description: VI-87 p. ; 24 cm.
Series Title: Ergebnisse der Mathematik und ihrer Grenzgebiete, 42
Responsibility: Kurt Schütte.
More information:

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/468123072> # Vollständige Systeme modaler und instuitionistischer Logik
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "468123072" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1406248#Place/berlin> ; # Berlin
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1406248#Place/heidelberg> ; # Heidelberg
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1406248#Topic/logique_intuitionniste> ; # Logique intuitionniste
   schema:about <http://experiment.worldcat.org/entity/work/data/1406248#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:author <http://viaf.org/viaf/39893518> ; # Kurt Schütte
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "op." ;
   schema:datePublished "1968" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1406248> ;
   schema:inLanguage "de" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1406248#Series/ergebnisse_der_mathematik_und_ihrer_grenzgebiete> ; # Ergebnisse der Mathematik und ihrer Grenzgebiete ;
   schema:name "Vollständige Systeme modaler und instuitionistischer Logik" ;
   schema:productID "468123072" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/468123072#PublicationEvent/berlin_heidelberg_new_york_springer_cop_1968> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1406248#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9783540040989> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/468123072> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/1406248#Series/ergebnisse_der_mathematik_und_ihrer_grenzgebiete> # Ergebnisse der Mathematik und ihrer Grenzgebiete ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/468123072> ; # Vollständige Systeme modaler und instuitionistischer Logik
   schema:name "Ergebnisse der Mathematik und ihrer Grenzgebiete ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1406248#Topic/logique_intuitionniste> # Logique intuitionniste
    a schema:Intangible ;
   schema:name "Logique intuitionniste" ;
    .

<http://experiment.worldcat.org/entity/work/data/1406248#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://viaf.org/viaf/39893518> # Kurt Schütte
    a schema:Person ;
   schema:familyName "Schütte" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Schütte" ;
    .

<http://worldcat.org/isbn/9783540040989>
    a schema:ProductModel ;
   schema:isbn "3540040986" ;
   schema:isbn "9783540040989" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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