pular para conteúdo
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 Ver prévia deste item
FecharVer prévia deste item
Checando...

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é
Editora: Berlin ; New York : Springer-Verlag, 1981.
Séries: Lecture notes in mathematics (Springer-Verlag), 891.
Edição/Formato   Imprimir livro : Publicação de conferência : InglêsVer todas as edições e formatos
Base de Dados:WorldCat
Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Tipo de Material: Publicação de conferência
Tipo de Documento Livro
Todos os Autores / Contribuintes: G H Müller; Gaisi Takeuti; T Tugué
ISBN: 0387111611 9780387111612
Número OCLC: 423238003
Descrição: xi, 394 p. ; 25 cm.
Título da Série: Lecture notes in mathematics (Springer-Verlag), 891.
Responsabilidade: edited by G.H. Müller, G. Takeuti, and T. Tugué.

Críticas

Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.

Ítens Similares

Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


Primary Entity

<http://www.worldcat.org/oclc/423238003> # Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "423238003" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866351617#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/866351617#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
    schema:about <http://dewey.info/class/510/e19/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/866351617#Person/muller_g_h_gert_heinz_1923> ; # Gert Heinz Müller
    schema:contributor <http://experiment.worldcat.org/entity/work/data/866351617#Meeting/logic_symposia_1980_hakone_machi_japon> ; # Logic Symposia. (1980 : Hakone-machi, Japon)
    schema:contributor <http://viaf.org/viaf/33327900> ; # Tosiyuki Tugué
    schema:contributor <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
    schema:creator <http://experiment.worldcat.org/entity/work/data/866351617#Meeting/logic_symposia_1979_hakone_machi_japon> ; # Logic Symposia. (1979 : Hakone-machi, Japon)
    schema:datePublished "1981" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/866351617> ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866351617#Series/lecture_notes_in_mathematics_springer_verlag> ; # Lecture notes in mathematics (Springer-Verlag) ;
    schema:name "Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980" ;
    schema:numberOfPages "394" ;
    schema:productID "423238003" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/423238003#PublicationEvent/berlin_new_york_springer_verlag_1981> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/866351617#Agent/springer_verlag> ; # Springer-Verlag
    schema:workExample <http://worldcat.org/isbn/9780387111612> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/423238003> ;
    .


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_japon> # Logic Symposia. (1979 : Hakone-machi, Japon)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/866351617#Place/hakone_machi_japon> ; # Hakone-machi, Japon)
    schema:name "Logic Symposia. (1979 : Hakone-machi, Japon)" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/866351617#Person/muller_g_h_gert_heinz_1923> # 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://experiment.worldcat.org/entity/work/data/866351617#Place/hakone_machi_japon> # Hakone-machi, Japon)
    a schema:Place ;
    schema:name "Hakone-machi, Japon)" ;
    .

<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/423238003> ; # 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/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique--Congrès" ;
    schema:name "Logique symbolique et mathématique--Congrès"@fr ;
    .

<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:familyName "Takeuti" ;
    schema:givenName "Gaisi" ;
    schema:name "Gaisi Takeuti" ;
    .

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

<http://www.worldcat.org/title/-/oclc/423238003>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/423238003> ; # Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
    schema:dateModified "2017-04-21" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Fechar Janela

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.