01305nam 2200373 450 00001320620050718115500.03-540-08132-120030513d1977----km-y0itay0103----baengDEComputations in higher typesJohan MoldestadBerlin [etc.]Springer1977203 p.25 cm.Lecture notes in mathematics5742001Lecture notes in mathematicsLogica matematica511.3(21. ed.)Logica matematica (Logica simbolica)03DxxMathematical logic and foundations. Computability and recursion theoryMoldestad,Johan48583ITUniversità della Basilicata - B.I.A.RICAunimarc000013206Computations in higher types80729UNIBASMONSCISCIENZEEXT0020120030513BAS01095520050601BAS011755batch0120050718BAS01105120050718BAS01111020050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT31777S317772003051351Riservati