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