omitir hasta el contenido
Formally self-referential propositions for cut free classical analysis and related systems Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

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

Autor: Georg Kreisel; Gaisi Takeuti
Editorial: Warszawa : Państwowe Wydawn. Naukowe, 1974.
Serie: Dissertationes mathematicae = Rozprawy matematyczne, 118
Edición/Formato:   Print book : Inglés (eng)Ver todas las ediciones y todos los formatos
Base de datos:WorldCat
Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Tipo de documento: Libro/Texto
Todos autores / colaboradores: Georg Kreisel; Gaisi Takeuti
Número OCLC: 1327058
Notas: At head of title: Polska Akademia Nauk. Instytut Matematyczny.
Descripción: 55 pages ; 25 cm.
Título de la serie: Dissertationes mathematicae = Rozprawy matematyczne, 118
Responsabilidad: G. Kreisel and G. Takeuti.

Reseñas

Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Ser el primero.

Materiales similares

Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


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

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.