01687nam0 22003973i 450 VAN027359620240319084256.276978-11-08-83314-120240319d2023 |0itac50 baengGB|||| |||||Modern mathematical logicJoseph MiletiCambridgeCambridg university2023xiv, 502 p.ill.27 cm001VAN00474052001 Cambridge mathematical textbooks210 CambridgeCambridge university03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B05Classical propositional logic [MSC 2020]VANC021402MF03DxxComputability and recursion theory [MSC 2020]VANC024386MF03CxxModel theory [MSC 2020]VANC024387MF03E30Axiomatics of classical set theory and its fragments [MSC 2020]VANC024397MF03F40Gödel numberings and issues of incompleteness [MSC 2020]VANC024403MF03E10Ordinal and cardinal numbers [MSC 2020]VANC024494MF03B10Classical first-order logic [MSC 2020]VANC024530MFCategories and SetsKW:KLogicKW:KMathematicsKW:KPhilosophyKW:KCambridgeVANL000024MiletiJosephVANV2259081726696Cambridge university <editore>VANV107986650ITSOL20240322RICA/sebina/repository/catalogazione/documenti/Mileti.pdfMileti.pdfVAN0273596Modern mathematical logic4132791UNICAMPANIA