přejít na obsah
Formally self-referential propositions for cut free classical analysis and related systems Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

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

Autor Georg Kreisel; Gaisi Takeuti
Vydavatel: Warszawa : Państwowe Wydawn. Naukowe, 1974.
Edice: Dissertationes mathematicae = Rozprawy matematyczne, 118
Vydání/formát:   book_printbook : EnglishZobrazit všechny vydání a formáty
Databáze:WorldCat
Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Typ dokumentu: Book
Všichni autoři/tvůrci: Georg Kreisel; Gaisi Takeuti
OCLC číslo: 1327058
Poznámky: At head of title: Polska Akademia Nauk. Instytut Matematyczny.
Popis: 55 pages ; 25 cm.
Název edice: Dissertationes mathematicae = Rozprawy matematyczne, 118
Odpovědnost: G. Kreisel and G. Takeuti.

Recenze

Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.

Podobné dokumenty

Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená 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://experiment.worldcat.org/entity/work/data/2210419#Person/takeuti_gaisi_1926_2017> ; # Gaisi Takeuti
    schema:creator <http://experiment.worldcat.org/entity/work/data/2210419#Person/kreisel_georg> ; # 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#Person/kreisel_georg> # Georg Kreisel
    a schema:Person ;
    schema:familyName "Kreisel" ;
    schema:givenName "Georg" ;
    schema:name "Georg Kreisel" ;
    .

<http://experiment.worldcat.org/entity/work/data/2210419#Person/takeuti_gaisi_1926_2017> # Gaisi Takeuti
    a schema:Person ;
    schema:birthDate "1926" ;
    schema:deathDate "2017" ;
    schema:familyName "Takeuti" ;
    schema:givenName "Gaisi" ;
    schema:name "Gaisi Takeuti" ;
    .

<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://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 "2017-05-15" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.