000 | 03013nam a22005175i 4500 | ||
---|---|---|---|
001 | 978-3-540-48220-8 | ||
003 | DE-He213 | ||
005 | 20190213151501.0 | ||
007 | cr nn 008mamaa | ||
008 | 121227s1989 gw | s |||| 0|eng d | ||
020 |
_a9783540482208 _9978-3-540-48220-8 |
||
024 | 7 |
_a10.1007/BFb0083663 _2doi |
|
050 | 4 | _aQA8.9-10.3 | |
072 | 7 |
_aPBC _2bicssc |
|
072 | 7 |
_aMAT018000 _2bisacsh |
|
072 | 7 |
_aPBC _2thema |
|
072 | 7 |
_aPBCD _2thema |
|
082 | 0 | 4 |
_a511.3 _223 |
245 | 1 | 0 |
_aMathematical Logic and Applications _h[electronic resource] : _bProceedings of the Logic Meeting held in Kyoto, 1987 / _cedited by Juichi Shinoda, Tosiyuki Tugué, Theodore A. Slaman. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c1989. |
|
300 |
_aV, 226 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Mathematics, _x0075-8434 ; _v1388 |
|
505 | 0 | _aRecursively 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. | |
520 | _aThese 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. | ||
650 | 0 | _aLogic, Symbolic and mathematical. | |
650 | 0 | _aMathematics. | |
650 | 1 | 4 |
_aMathematical Logic and Foundations. _0http://scigraph.springernature.com/things/product-market-codes/M24005 |
650 | 2 | 4 |
_aMathematics Education. _0http://scigraph.springernature.com/things/product-market-codes/O25000 |
700 | 1 |
_aShinoda, Juichi. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aTugué, Tosiyuki. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aSlaman, Theodore A. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783662207703 |
776 | 0 | 8 |
_iPrinted edition: _z9783540515272 |
830 | 0 |
_aLecture Notes in Mathematics, _x0075-8434 ; _v1388 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/BFb0083663 |
912 | _aZDB-2-SMA | ||
912 | _aZDB-2-LNM | ||
912 | _aZDB-2-BAE | ||
999 |
_c10837 _d10837 |