aller au contenu
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

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

Auteur : G H Müller; Gaisi Takeuti; T Tugué
Éditeur: Berlin ; New York : Springer-Verlag, 1981.
Collection: Lecture notes in mathematics (Springer-Verlag), 891.
Édition/format:   Livre imprimé : Publication de conférence : AnglaisVoir toutes les éditions et tous les formats
Base de données:WorldCat
Évaluation:

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Type d’ouvrage: Publication de conférence
Type de document: Livre
Tous les auteurs / collaborateurs: G H Müller; Gaisi Takeuti; T Tugué
ISBN: 0387111611 9780387111612
Numéro OCLC: 423238003
Description: xi, 394 p. ; 25 cm.
Titre de collection: Lecture notes in mathematics (Springer-Verlag), 891.
Responsabilité: edited by G.H. Müller, G. Takeuti, and T. Tugué.

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Marqueurs

Soyez le premier.

Ouvrages semblables

Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


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

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.