01762nam0 22004453i 450 VAN0026182520260626103856.662159146023220230721d1981 |0itac50 baengDE|||| |||||i e bcrLogic Year 1979-80The University of Connecticut, USAedited by M. Lerman, J.H. Schmerl, R.I. SoareBerlinSpringer1981x, 330 p.24 cm001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer85900B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFArithmeticKW:KComputability TheoryKW:KLogicKW:KMathematical logicKW:KMorphismKW:KRecursionKW:KBerlinVANL000066LermanManuelVANV216275SchmerlJames H.VANV216276SoareRobert I.VANV216277Springer <editore>VANV108073650ITSOL20260911RICAhttps://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-CE0120VAN08NVAN00261825BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 6370 08eMF6370 20230731 Logic year 1979-8080606UNICAMPANIA