omitir hasta el contenido
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Autor: G H Müller; Gaisi Takeuti; T Tugué
Editorial: Berlin ; New York : Springer-Verlag, 1981.
Serie: Lecture notes in mathematics (Springer-Verlag), 891.
Edición/Formato:   Libro impreso : Publicación de conferencia : Inglés (eng)Ver todas las ediciones y todos los formatos
Calificación:

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

Temas
Más materiales como éste

 

Encontrar un ejemplar en línea

Encontrar un ejemplar en la biblioteca

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

Detalles

Género/Forma: Kongress
Kongreß
Conference papers and proceedings
Hakone (1979)
Hakone (1979-1980)
Hakone (1980)
Congresses
Congrès
Formato físico adicional: Online version:
Logic Symposia (1979 : Hakone-machi, Japan).
Logic Symposia, Hakone, 1979, 1980.
Berlin ; New York : Springer-Verlag, 1981
(OCoLC)655022171
Tipo de material: Publicación de conferencia, Recurso en Internet
Tipo de documento Libro, Recurso internet
Todos autores / colaboradores: G H Müller; Gaisi Takeuti; T Tugué
ISBN: 0387111611 9780387111612 3540111611 9783540111610
Número OCLC: 7944723
Descripción: xi, 394 pages ; 25 cm.
Contenido: Various kinds of Aronszajn tree with no subtree of a different kind.- On set theories in toposes.- A representation for Spector second order classes in computation theories on two types.- Precipitousness of the ideal of thin sets on a measurable cardinal.- Axiom systems of nonstandard set theory.- Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class.- On the length of proofs in a formal system of recursive arithmetic.- Homogeneous formulas and definability theorems.- Boolean valued combinatorics.- Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata.- Sections and envelopes of type 2 objects.- Heyting valued universes of intuitionistic set theory.- Independence of a problem in elementary analysis from set theory.- Intuitionistic theories and toposes.- The Hahn-Banach theorem and a restricted inductive definition.
Título de la serie: Lecture notes in mathematics (Springer-Verlag), 891.
Responsabilidad: edited by G.H. Müller, G. Takeuti, and T. Tugué.

Reseñas

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

Etiquetas

Ser el primero.
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/7944723> # Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "7944723" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866351617#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/866351617#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/866351617#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/866351617#Topic/logica_matematica> ; # Logica matematica
    schema:about <http://experiment.worldcat.org/entity/work/data/866351617#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://dewey.info/class/510/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/866351617#Topic/logik> ; # Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/866351617#Topic/grundlage> ; # Grundlage
    schema:about <http://experiment.worldcat.org/entity/work/data/866351617#Topic/mathematik> ; # Mathematik
    schema:about <http://experiment.worldcat.org/entity/work/data/866351617#Topic/kongress> ; # Kongress
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
    schema:contributor <http://viaf.org/viaf/21145971590732332839> ; # Gert Heinz Müller
    schema:contributor <http://viaf.org/viaf/33327900> ; # Tosiyuki Tugué
    schema:contributor <http://experiment.worldcat.org/entity/work/data/866351617#Meeting/logic_symposia_1980_hakone_machi_japan> ; # Logic Symposia (1980 : Hakone-machi, Japan)
    schema:creator <http://experiment.worldcat.org/entity/work/data/866351617#Meeting/logic_symposia_1979_hakone_machi_japan> ; # Logic Symposia (1979 : Hakone-machi, Japan)
    schema:datePublished "1981" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/866351617> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Hakone (1979-1980)"@en ;
    schema:genre "Kongreß"@en ;
    schema:genre "Hakone (1979)"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Kongress"@en ;
    schema:genre "Hakone (1980)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866351617#Series/lecture_notes_in_mathematics> ; # Lecture notes in mathematics ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866351617#Series/lecture_notes_in_mathematics_springer_verlag> ; # Lecture notes in mathematics (Springer-Verlag) ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/655022171> ;
    schema:name "Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980"@en ;
    schema:productID "7944723" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/7944723#PublicationEvent/berlin_new_york_springer_verlag_1981> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/866351617#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.gbv.de/dms/hbz/toc/ht000938406.pdf> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=002318191&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002318191&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:workExample <http://worldcat.org/isbn/9783540111610> ;
    schema:workExample <http://worldcat.org/isbn/9780387111612> ;
    umbel:isLike <http://d-nb.info/820522058> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/7944723> ;
    .


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/866351617#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/866351617#Meeting/logic_symposia_1979_hakone_machi_japan> # Logic Symposia (1979 : Hakone-machi, Japan)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/866351617#Place/hakone_machi_japan> ; # Hakone-machi, Japan)
    schema:name "Logic Symposia (1979 : Hakone-machi, Japan)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866351617#Meeting/logic_symposia_1980_hakone_machi_japan> # Logic Symposia (1980 : Hakone-machi, Japan)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/866351617#Place/hakone_machi_japan> ; # Hakone-machi, Japan)
    schema:name "Logic Symposia (1980 : Hakone-machi, Japan)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866351617#Place/hakone_machi_japan> # Hakone-machi, Japan)
    a schema:Place ;
    schema:name "Hakone-machi, Japan)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866351617#Series/lecture_notes_in_mathematics> # Lecture notes in mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/7944723> ; # Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
    schema:name "Lecture notes in mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/866351617#Series/lecture_notes_in_mathematics_springer_verlag> # Lecture notes in mathematics (Springer-Verlag) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/7944723> ; # Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
    schema:name "Lecture notes in mathematics (Springer-Verlag) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/866351617#Topic/logica_matematica> # Logica matematica
    a schema:Intangible ;
    schema:name "Logica matematica"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/866351617#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik"@en ;
    .

<http://viaf.org/viaf/21145971590732332839> # Gert Heinz Müller
    a schema:Person ;
    schema:birthDate "1923" ;
    schema:familyName "Müller" ;
    schema:givenName "Gert Heinz" ;
    schema:givenName "G. H." ;
    schema:name "Gert Heinz Müller" ;
    .

<http://viaf.org/viaf/33327900> # Tosiyuki Tugué
    a schema:Person ;
    schema:birthDate "1926" ;
    schema:familyName "Tugué" ;
    schema:givenName "Tosiyuki" ;
    schema:givenName "T." ;
    schema:name "Tosiyuki Tugué" ;
    .

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

<http://worldcat.org/isbn/9780387111612>
    a schema:ProductModel ;
    schema:isbn "0387111611" ;
    schema:isbn "9780387111612" ;
    .

<http://worldcat.org/isbn/9783540111610>
    a schema:ProductModel ;
    schema:isbn "3540111611" ;
    schema:isbn "9783540111610" ;
    .

<http://www.worldcat.org/oclc/655022171>
    a schema:CreativeWork ;
    rdfs:label "Logic Symposia, Hakone, 1979, 1980." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/7944723> ; # Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
    .

<http://www.worldcat.org/title/-/oclc/7944723>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/7944723> ; # Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
    schema:dateModified "2017-09-20" ;
    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.