02833nam0 22006133i 450 VAN0026804620250227110817.974N978147574385220231128d1977 |0itac50 baengUS|||| |||||ˆA ‰Course in Mathematical LogicYu. I. ManinTranslated from the Russian by Neal KoblitzNew YorkSpringer1977xiii, 288 p.ill.24 cm001VAN000235792001 Graduate texts in mathematics210 New York [etc.]Springer1950-53VAN00268047Lekcii po matematičeskoj logike359740703-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B10Classical first-order logic [MSC 2020]VANC024530MF03D20Recursive functions and relations, subrecursive hierarchies [MSC 2020]VANC024470MF03D80Applications of computability and recursion theory [MSC 2020]VANC024450MF03E50Continuum hypothesis and Martin's axiom [MSC 2020]VANC024394MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MF03G12Quantum logic [MSC 2020]VANC023766MF11UxxConnections of number theory and logic [MSC 2020]VANC024437MF20A15Applications of logic to group theory [MSC 2020]VANC024452MFBoundary Element MethodsKW:KComputabilityKW:KForcingKW:KFormal languagesKW:KFormsKW:KFunctionsKW:KLanguageKW:KLogicKW:KMathematical logicKW:KMathematicsKW:KPresentationKW:Ktheory of complexityKW:KUSNew YorkVANL000011ManinYuri I.VANV04156849026KoblitzNealVANV022032730Springer <editore>VANV108073650Manin, Yuri IvanovichManin, Yuri I.VANV050854Manin, Ju. I.Manin, Yuri I.VANV220270Manin, Y. I.Manin, Yuri I.VANV242609Manin, Y.I.Manin, Yuri I.VANV242610ITSOL20250314RICAhttps://doi.org/10.1007/978-1-4757-4385-2E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00268046BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 7360 08eMF7360 20231204 Lekcii po matematičeskoj logike3597407UNICAMPANIA