000 00815 a2200241 4500
010 _a 89021596
020 _a0387515275 (U.S.) :
082 0 0 _a510
_a511.3
084 _203Bxx, 03Dxx
090 _c31339
_d31339
100 _aShinoda, J.
245 1 0 _aMathematical logic and applications
_bProceedings of the Logic Meeting held in Kyoto, 1987 /
_cJ. Shinoda, T.A. Slaman, T. Tugué, eds
260 _aBerlin
_aNew York
_bSpringer-Verlag
_cc1989.
300 _a222 p.
_bill.
_c24 cm
490 1 _aLecture notes in mathematics ;
_v1388
500 _aContine bibliografie
650 0 _aLogic, Symbolic and mathematical
700 1 _aSlaman, T. A.
_d1954-
700 1 _aTuguae, T.
_d1926-
830 0 _aLecture notes in mathematics (Springer-Verlag) ;
942 _aIMAR
_cCART
_k511.3
_sSN
999 _c30925
_d30925