skip to content
Logic Symposia, Hakone, 1979, 1980 : proceedings of a conference held in Gōra Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 Preview this item
ClosePreview this item
Checking...

Logic Symposia, Hakone, 1979, 1980 : proceedings of a conference held in Gōra Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Author: G H Müller; T Tugué; Gaisi Takeuti; SpringerLink (Service en ligne)
Publisher: Berlin ; New York : Springer-Verlag, 1981.
Series: Lecture notes in mathematics (En ligne), 891.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Congrès
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: G H Müller; T Tugué; Gaisi Takeuti; SpringerLink (Service en ligne)
OCLC Number: 610010501
Notes: In SpringerLink.
Titre de l'écran-titre (visionné le 12 mars 2010).
Description: xi, 394 p. : fichiers PDF.
Series Title: Lecture notes in mathematics (En ligne), 891.
Responsibility: edited by G.H. Müller, G. Takeuti, and T. Tugué.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/610010501> # Logic Symposia, Hakone, 1979, 1980 proceedings of a conference held in Gōra Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "610010501" ;
   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://dewey.info/class/510/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/866351617#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/866351617#Organization/springerlink_service_en_ligne> ; # SpringerLink (Service en ligne)
   schema:contributor <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
   schema:contributor <http://experiment.worldcat.org/entity/work/data/866351617#Meeting/logic_symposia_1980_hakone_japon> ; # Logic Symposia (1980 : Hakone, Japon)
   schema:contributor <http://viaf.org/viaf/33327900> ; # Tosiyuki Tugué
   schema:contributor <http://experiment.worldcat.org/entity/work/data/866351617#Person/muller_g_h_gert_heinz_1923> ; # Gert Heinz Müller
   schema:creator <http://experiment.worldcat.org/entity/work/data/866351617#Meeting/logic_symposia_1979_hakone_japon> ; # Logic Symposia (1979 : Hakone, 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> ; # Lecture notes in mathematics ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866351617#Series/lecture_notes_in_mathematics_en_ligne> ; # Lecture notes in mathematics (En ligne) ;
   schema:name "Logic Symposia, Hakone, 1979, 1980 proceedings of a conference held in Gōra Hakone, Japan, March 21-24, 1979 and February 4-7, 1980" ;
   schema:numberOfPages "394" ;
   schema:productID "610010501" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/610010501#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.springerlink.com/openurl.asp?genre=issue&issn=1617-9692&volume=891> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/610010501> ;
    .


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#Organization/springerlink_service_en_ligne> # SpringerLink (Service en ligne)
    a schema:Organization ;
   schema:name "SpringerLink (Service en ligne)" ;
    .

<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#Series/lecture_notes_in_mathematics> # Lecture notes in mathematics ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/610010501> ; # Logic Symposia, Hakone, 1979, 1980 proceedings of a conference held in Gōra 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_en_ligne> # Lecture notes in mathematics (En ligne) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/610010501> ; # Logic Symposia, Hakone, 1979, 1980 proceedings of a conference held in Gōra Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
   schema:name "Lecture notes in mathematics (En ligne) ;" ;
    .

<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://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://www.worldcat.org/title/-/oclc/610010501>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/610010501> ; # Logic Symposia, Hakone, 1979, 1980 proceedings of a conference held in Gōra Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
   schema:dateModified "2016-05-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.