01895nam 2200457 450 00001443220050718115500.03-540-11161-120030623d1981----km-y0itay0103----baengDELogic Symposia Hakone 1979, 1980proceedings of conferences held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980edited by G. H. Muller, G. Takeuti, T. TugueBerlin [etc.]Springer1981XI, 394 p.25 cm.Lecture notes in mathematics8912001Lecture notes in mathematicsLogica matematicaCongressi511.3(21. ed.)Logica matematica (Logica simbolica)03CxxMathematical logic and foundations. Model theory03DxxMathematical logic and foundations. Computability and recursion theory03ExxMathematical logic and foundations. Set theory03FxxMathematical logic and foundations. Proof theory and constructive mathematics03HxxMathematical logic and foundations. Nonstandard modelsMuller,Gert H.Takeuti,GaisiTugue,ToshiyukiLogic Symposia<1979-1980;Hakone, Japan>441511ITUniversità della Basilicata - B.I.A.RICAunimarc000014432Logic Symposia Hakone 1979, 198079939UNIBASMONSCISCIENZEEXT0020120030623BAS01155520050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT32094S320942003062351Riservati