01669nam0 22003973i 450 VAN026182520231103023037.23020230721d1981 |0itac50 baengDE|||| |||||Logic Year 1979-80The University of Connecticut, USAedited by M. Lerman, J.H. Schmerl, R.I. SoareBerlinSpringer1981x, 330 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer85903-XXMathematical logic and foundations [MSC 2020]VANC019750MF00B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MFArithmeticKW:KComputability theoryKW:KLogicKW:KMathematical logicKW:KMorphismKW:KRecursionKW:KBerlinVANL000066LermanManuelVANV216275SchmerlJames H.VANV216276SoareRobert I.VANV216277Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0090934E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0261825BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6370 08eMF6370 20230731 Logic year 1979-8080606UNICAMPANIA