skip to content
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 Preview this item
ClosePreview this item
Checking...

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987

Author: J Shinoda; T A Slaman; T Tugué
Publisher: Berlin ; New York : Springer-Verlag, ©1989.
Series: Lecture notes in mathematics (Springer-Verlag), 1388.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Includes the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987.

Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
Logic Meeting (1987 : Kyoto, Japan).
Mathematical logic and applications.
Berlin ; New York : Springer-Verlag, ©1989
(OCoLC)625926729
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: J Shinoda; T A Slaman; T Tugué
ISBN: 0387515275 9780387515274 3540515275 9783540515272
OCLC Number: 20170911
Description: 222 pages : illustrations ; 24 cm.
Contents: Recursively enumerable sets in models of ?2 collection.- The role of a filter quantifier in set theory.- Syntactical simulation of many-valued logic.- Consistency of Beeson's formal system RPS and some related results.- Elementary properties of a system of fundamental sequences for ?o.- The continuum hypothesis and the theory of the Kleene degrees.- ?1-Collection and the finite injury priority method.- Computational complexity of languages counting random oracles.- Infinitesimal calculus interpreted in infinitary logic.
Series Title: Lecture notes in mathematics (Springer-Verlag), 1388.
Responsibility: J. Shinoda, T.A. Slaman, T. Tugué, eds.
More information:

Reviews

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

Tags

Be the first.
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/20170911> # Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "20170911" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/762669880#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/762669880#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/762669880#Place/kioto_1987> ; # Kioto <1987>
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/510/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/762669880#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/762669880#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/44416590> ; # Theodore Allen Slaman
   schema:contributor <http://viaf.org/viaf/110532751> ; # Juichi Shinoda
   schema:contributor <http://viaf.org/viaf/33327900> ; # Tosiyuki Tugué
   schema:copyrightYear "1989" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/762669880#Meeting/logic_meeting_1987_kyoto_japan> ; # Logic Meeting (1987 : Kyoto, Japan)
   schema:datePublished "1989" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/762669880> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/762669880#Series/lecture_notes_in_mathematics_springer_verlag> ; # Lecture notes in mathematics (Springer-Verlag) ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/762669880#Series/lecture_notes_in_mathematics> ; # Lecture notes in mathematics ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/625926729> ;
   schema:name "Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987"@en ;
   schema:productID "20170911" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/20170911#PublicationEvent/berlin_new_york_springer_verlag_1989> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/762669880#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://swbplus.bsz-bw.de/bsz018478700cov.htm> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1793522&custom%5Fatt%5F2=simple%5Fviewer> ;
   schema:workExample <http://worldcat.org/isbn/9783540515272> ;
   schema:workExample <http://worldcat.org/isbn/9780387515274> ;
   umbel:isLike <http://d-nb.info/891075526> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/20170911> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/762669880#Series/lecture_notes_in_mathematics> # Lecture notes in mathematics ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/20170911> ; # Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
   schema:name "Lecture notes in mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/762669880#Series/lecture_notes_in_mathematics_springer_verlag> # Lecture notes in mathematics (Springer-Verlag) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/20170911> ; # Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
   schema:name "Lecture notes in mathematics (Springer-Verlag) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/762669880#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/762669880#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/110532751> # Juichi Shinoda
    a schema:Person ;
   schema:birthDate "1948" ;
   schema:familyName "Shinoda" ;
   schema:givenName "Juichi" ;
   schema:givenName "J." ;
   schema:name "Juichi Shinoda" ;
    .

<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/44416590> # Theodore Allen Slaman
    a schema:Person ;
   schema:birthDate "1954" ;
   schema:familyName "Slaman" ;
   schema:givenName "Theodore Allen" ;
   schema:givenName "T. A." ;
   schema:name "Theodore Allen Slaman" ;
    .

<http://worldcat.org/isbn/9780387515274>
    a schema:ProductModel ;
   schema:isbn "0387515275" ;
   schema:isbn "9780387515274" ;
    .

<http://worldcat.org/isbn/9783540515272>
    a schema:ProductModel ;
   schema:isbn "3540515275" ;
   schema:isbn "9783540515272" ;
    .

<http://www.worldcat.org/oclc/625926729>
    a schema:CreativeWork ;
   rdfs:label "Mathematical logic and applications." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/20170911> ; # Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
    .

<http://www.worldcat.org/title/-/oclc/20170911>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/20170911> ; # Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
   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.