01937nam0 22004213i 450 VAN0027359620240806101537.437978-11-08-83314-120240319d2023 |0itac50 baengGB|||| |||||Modern mathematical logicJoseph MiletiCambridgeCambridg university2023xiv, 502 p.ill.27 cm001VAN000474052001 Cambridge mathematical textbooks210 CambridgeCambridge university03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B05Classical propositional logic [MSC 2020]VANC021402MF03B10Classical first-order logic [MSC 2020]VANC024530MF03CxxModel theory [MSC 2020]VANC024387MF03DxxComputability and recursion theory [MSC 2020]VANC024386MF03E10Ordinal and cardinal numbers [MSC 2020]VANC024494MF03E30Axiomatics of classical set theory and its fragments [MSC 2020]VANC024397MF03F40Gödel numberings and issues of incompleteness [MSC 2020]VANC024403MFCategories and SetsKW:KLogicKW:KMathematicsKW:KPhilosophyKW:KCambridgeVANL000024MiletiJosephVANV2259081726696Cambridge University <editore>VANV107986650ITSOL20250606RICA/sebina/repository/catalogazione/documenti/Mileti.pdfMileti.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00273596BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2768 08DMF863 I 20240506 Modern mathematical logic4132791UNICAMPANIA