passa ai contenuti
Formally self-referential propositions for cut free classical analysis and related systems Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

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

Autore: Georg Kreisel; Gaisi Takeuti
Editore: Warszawa : Państwowe Wydawn. Naukowe, 1974.
Serie: Dissertationes mathematicae = Rozprawy matematyczne, 118
Edizione/Formato:   book_printbook : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Tipo documento: Book
Tutti gli autori / Collaboratori: Georg Kreisel; Gaisi Takeuti
Numero OCLC: 1327058
Note: At head of title: Polska Akademia Nauk. Instytut Matematyczny.
Descrizione: 55 pages ; 25 cm.
Titolo della serie: Dissertationes mathematicae = Rozprawy matematyczne, 118
Responsabilità: G. Kreisel and G. Takeuti.

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


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


Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.