skip to content
Formally self-referential propositions for cut free classical analysis and related systems Preview this item
ClosePreview this item
Checking...

Formally self-referential propositions for cut free classical analysis and related systems

Author: Georg Kreisel; Gaisi Takeuti
Publisher: Warszawa : Państwowe Wydawn. Naukowe, 1974.
Series: Dissertationes mathematicae = Rozprawy matematyczne, 118
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: Georg Kreisel; Gaisi Takeuti
OCLC Number: 1327058
Notes: At head of title: Polska Akademia Nauk. Instytut Matematyczny.
Description: 55 pages ; 25 cm.
Series Title: Dissertationes mathematicae = Rozprawy matematyczne, 118
Responsibility: G. Kreisel and G. Takeuti.

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/1327058> # Formally self-referential propositions for cut free classical analysis and related systems
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "1327058" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/pl> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2210419#Place/warszawa> ; # Warszawa
    schema:about <http://id.worldcat.org/fast/1041273> ; # Numerical analysis
    schema:about <http://id.worldcat.org/fast/1079268> ; # Proposition (Logic)
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://dewey.info/class/510.1/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
    schema:creator <http://viaf.org/viaf/15582257> ; # Georg Kreisel
    schema:datePublished "1974" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2210419> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2210419#Series/dissertationes_mathematicae_rozprawy_matematyczne> ; # Dissertationes mathematicae = Rozprawy matematyczne ;
    schema:name "Formally self-referential propositions for cut free classical analysis and related systems"@en ;
    schema:productID "1327058" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1327058#PublicationEvent/warszawa_panstwowe_wydawn_naukowe_1974> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2210419#Agent/panstwowe_wydawn_naukowe> ; # Państwowe Wydawn. Naukowe
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1327058> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2210419#Agent/panstwowe_wydawn_naukowe> # Państwowe Wydawn. Naukowe
    a bgn:Agent ;
    schema:name "Państwowe Wydawn. Naukowe" ;
    .

<http://experiment.worldcat.org/entity/work/data/2210419#Series/dissertationes_mathematicae_rozprawy_matematyczne> # Dissertationes mathematicae = Rozprawy matematyczne ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1327058> ; # Formally self-referential propositions for cut free classical analysis and related systems
    schema:name "Dissertationes mathematicae = Rozprawy matematyczne ;" ;
    .

<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/1041273> # Numerical analysis
    a schema:Intangible ;
    schema:name "Numerical analysis"@en ;
    .

<http://id.worldcat.org/fast/1079268> # Proposition (Logic)
    a schema:Intangible ;
    schema:name "Proposition (Logic)"@en ;
    .

<http://viaf.org/viaf/15582257> # Georg Kreisel
    a schema:Person ;
    schema:familyName "Kreisel" ;
    schema:givenName "Georg" ;
    schema:name "Georg Kreisel" ;
    .

<http://viaf.org/viaf/64133112> # Gaisi Takeuti
    a schema:Person ;
    schema:birthDate "1926" ;
    schema:familyName "Takeuti" ;
    schema:givenName "Gaisi" ;
    schema:name "Gaisi Takeuti" ;
    .

<http://www.worldcat.org/title/-/oclc/1327058>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1327058> ; # Formally self-referential propositions for cut free classical analysis and related systems
    schema:dateModified "2015-08-18" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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