LEADER 01687nam0 22003973i 450 001 VAN0273596 005 20240319084256.276 010 $a978-11-08-83314-1 100 $a20240319d2023 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| ||||| 200 1 $aModern mathematical logic$fJoseph Mileti 210 $aCambridge$cCambridg university$d2023 215 $axiv, 502 p.$cill.$d27 cm 410 1$1001VAN0047405$12001 $aCambridge mathematical textbooks$1210 $aCambridge$cCambridge university 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B05$xClassical propositional logic [MSC 2020]$3VANC021402$2MF 606 $a03Dxx$xComputability and recursion theory [MSC 2020]$3VANC024386$2MF 606 $a03Cxx$xModel theory [MSC 2020]$3VANC024387$2MF 606 $a03E30$xAxiomatics of classical set theory and its fragments [MSC 2020]$3VANC024397$2MF 606 $a03F40$xGödel numberings and issues of incompleteness [MSC 2020]$3VANC024403$2MF 606 $a03E10$xOrdinal and cardinal numbers [MSC 2020]$3VANC024494$2MF 606 $a03B10$xClassical first-order logic [MSC 2020]$3VANC024530$2MF 610 $aCategories and Sets$9KW:K 610 $aLogic$9KW:K 610 $aMathematics$9KW:K 610 $aPhilosophy$9KW:K 620 $dCambridge$3VANL000024 700 1$aMileti$bJoseph$3VANV225908$01726696 712 $aCambridge university $3VANV107986$4650 801 $aIT$bSOL$c20240322$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Mileti.pdf$zMileti.pdf 912 $aVAN0273596 996 $aModern mathematical logic$94132791 997 $aUNICAMPANIA