01854nam 2200457 450 00001412120050718115500.03-540-51527-520030616d1989----km-y0itay0103----baengDEMathematical logic and applicationsproceedings of the Logic meeting held in Kyoto, 1987J. Shinoda, T. A. Slaman, T. Tugue, eds.Berlin [etc.]Springerc1989222 p.25 cm.Lecture notes in mathematics13882001Lecture notes in mathematicsLogica matematicaCongressi511.3(21. ed.)Logica matematica (Logica simbolica)03BxxMathematical logic and foundations. General logic03DxxMathematical logic and foundations. Computability and recursion theory03ExxMathematical logic and foundations. Set theory03FxxMathematical logic and foundations. Proof theory and constructive mathematics03HxxMathematical logic and foundations. Nonstandard modelsShinoda,JuichiSlaman,Theodore AllenTugue,ToshiyukiLogic meeting<1987; Kyoto>441441ITUniversità della Basilicata - B.I.A.RICAunimarc000014121Mathematical logic and applications80189UNIBASMONSCISCIENZEEXT0020120030616BAS01100920050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT64508S645082003061651Riservati