LEADER 02834nam0 22006133i 450 001 VAN00268046 005 20250422102529.392 017 70$2N$a9781475743852 100 $a20231128d1977 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aˆA ‰Course in Mathematical Logic$fYu. I. Manin$gTranslated from the Russian by Neal Koblitz 210 $aNew York$cSpringer$d1977 215 $axiii, 288 p.$cill.$d24 cm 410 1$1001VAN00023579$12001 $aGraduate texts in mathematics$1210 $aNew York [etc.]$cSpringer$d1950-$v53 500 1$3VAN00268047$aLekcii po matemati?eskoj logike$93597407 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B10$xClassical first-order logic [MSC 2020]$3VANC024530$2MF 606 $a03D20$xRecursive functions and relations, subrecursive hierarchies [MSC 2020]$3VANC024470$2MF 606 $a03D80$xApplications of computability and recursion theory [MSC 2020]$3VANC024450$2MF 606 $a03E50$xContinuum hypothesis and Martin's axiom [MSC 2020]$3VANC024394$2MF 606 $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF 606 $a03G12$xQuantum logic [MSC 2020]$3VANC023766$2MF 606 $a11Uxx$xConnections of number theory and logic [MSC 2020]$3VANC024437$2MF 606 $a20A15$xApplications of logic to group theory [MSC 2020]$3VANC024452$2MF 610 $aBoundary Element Methods$9KW:K 610 $aComputability$9KW:K 610 $aForcing$9KW:K 610 $aFormal languages$9KW:K 610 $aForms$9KW:K 610 $aFunctions$9KW:K 610 $aLanguage$9KW:K 610 $aLogic$9KW:K 610 $aMathematical logic$9KW:K 610 $aMathematics$9KW:K 610 $aPresentations$9KW:K 610 $aTheory of complexity$9KW:K 620 $aUS$dNew York$3VANL000011 700 1$aManin$bYuri I.$3VANV041568$049026 702 1$aKoblitz$bNeal$3VANV022032$4730 712 $aSpringer $3VANV108073$4650 790 1$aManin, Yuri Ivanovich$zManin, Yuri I.$3VANV050854 790 1$aManin, Ju. I.$zManin, Yuri I.$3VANV220270 790 1$aManin, Y. I.$zManin, Yuri I.$3VANV242609 790 1$aManin, Y.I.$zManin, Yuri I.$3VANV242610 801 $aIT$bSOL$c20250829$gRICA 856 4 $uhttps://doi.org/10.1007/978-1-4757-4385-2$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00268046 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 7360 $e08eMF7360 20231204 996 $aLekcii po matemati?eskoj logike$93597407 997 $aUNICAMPANIA