Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001774357/catalog> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- catalog abstract "These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.".
- catalog contributor b2544899.
- catalog contributor b2544900.
- catalog contributor b2544901.
- catalog contributor b2544902.
- catalog created "1989.".
- catalog date "1989".
- catalog date "1989.".
- catalog dateCopyrighted "1989.".
- catalog description "Contents: C.T. Chong: Recursively Enumerable Sets in Models of +2 Collection -- Y. Kakuda: The Role of a Filter Quantifier in Set Theory -- H. Katsutani: Syntactical Simulation of Many-valued Logic -- S. Kobayashi: Consistency of Beeson's Formal System RPS and Some Related Results -- M. Shimoda: Elementary Properties of a System of Fundamental Sequences for 0 -- J. Shinoda and T.A. Slaman: The Continuum Hypothesis and the Theory of the Kleene Degrees -- T.A. Slaman and W.H. Woodin: +1-Collection and the Finite Injury Priority Method -- T. Yamakami: Computational Complexity of Languages Counting Random Oracles -- M. Yasugi: Infinitesimal Calculus Interpreted in Infinitary Logic -- List of Participants -- Author's Addresses.".
- catalog description "Includes bibliographical references.".
- catalog description "These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.".
- catalog extent "222 p. ;".
- catalog hasFormat "Mathematical logic and applications.".
- catalog identifier "0387515275 (U.S.) :".
- catalog identifier "3540515275".
- catalog isFormatOf "Mathematical logic and applications.".
- catalog isPartOf "Lecture notes in mathematics (Springer-Verlag) ; 1388.".
- catalog isPartOf "Lecture notes in mathematics ; 1388".
- catalog issued "1989".
- catalog issued "1989.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Mathematical logic and applications.".
- catalog subject "510 s 511.3 20".
- catalog subject "Logic, Symbolic and mathematical Congresses.".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "Mathematics.".
- catalog subject "QA3 .L28 no. 1388 QA9.A1".
- catalog tableOfContents "Contents: C.T. Chong: Recursively Enumerable Sets in Models of +2 Collection -- Y. Kakuda: The Role of a Filter Quantifier in Set Theory -- H. Katsutani: Syntactical Simulation of Many-valued Logic -- S. Kobayashi: Consistency of Beeson's Formal System RPS and Some Related Results -- M. Shimoda: Elementary Properties of a System of Fundamental Sequences for 0 -- J. Shinoda and T.A. Slaman: The Continuum Hypothesis and the Theory of the Kleene Degrees -- T.A. Slaman and W.H. Woodin: +1-Collection and the Finite Injury Priority Method -- T. Yamakami: Computational Complexity of Languages Counting Random Oracles -- M. Yasugi: Infinitesimal Calculus Interpreted in Infinitary Logic -- List of Participants -- Author's Addresses.".
- catalog title "Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / J. Shinoda, T.A. Slaman, T. Tugué, eds.".
- catalog type "Conference proceedings. fast".
- catalog type "text".