zum Inhalt wechseln
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 Titelvorschau
SchließenTitelvorschau
Prüfung…

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

Verfasser/in: G H Müller; Gaisi Takeuti; T Tugué
Verlag: Berlin ; New York : Springer-Verlag, 1981.
Serien: Lecture notes in mathematics (Springer-Verlag), 891.
Ausgabe/Format   Print book : Tagungsband : EnglischAlle Ausgaben und Formate anzeigen
Datenbank:WorldCat
Bewertung:

(noch nicht bewertet) 0 mit Rezensionen - Verfassen Sie als Erste eine Rezension.

Themen
Ähnliche Titel

 

Exemplar ausleihen

&AllPage.SpinnerRetrieving; Suche nach Bibliotheken, die diesen Titel besitzen ...

Details

Medientyp: Tagungsband
Dokumenttyp: Buch
Alle Autoren: G H Müller; Gaisi Takeuti; T Tugué
ISBN: 0387111611 9780387111612
OCLC-Nummer: 423238003
Beschreibung: xi, 394 p. ; 25 cm.
Serientitel: Lecture notes in mathematics (Springer-Verlag), 891.
Verfasserangabe: edited by G.H. Müller, G. Takeuti, and T. Tugué.

Rezensionen

Nutzer-Rezensionen
Suche nach GoodReads-Rezensionen
Suche nach DOGObooks-Rezensionen…

Tags

Tragen Sie als Erste Tags ein.

Ähnliche Titel

Anfrage bestätigen

Sie haben diesen Titel bereits angefordert. Wenn Sie trotzdem fortfahren möchten, klicken Sie auf OK.

Verlinkung


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

Fenster schließen

Bitte in WorldCat einloggen 

Sie haben kein Konto? Sie können sehr einfach ein kostenloses Konto anlegen,.