01583nam2 2200325 i 450 VAN005026220231127031859.2505-217-5373-220060825d2003 |0itac50 baengGB|||| |||||ˆVol. 1: ‰Mathematical logicGeorge TourlakisCambridgeCambridge university2003XI, 328 p.24 cm001VAN00247332001 Cambridge studies in advanced mathematics210 CambridgeCambridge university82001VAN00502602001 Lectures in logic and set theoryGeorge Tourlakis210 CambridgeCambridge University215 2 volumi24 cm103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03F30First-order arithmetic and fragments [MSC 2020]VANC024401MF03B10Classical first-order logic [MSC 2020]VANC024530MFCambridgeVANL000024TourlakisGeorgeVANV039513149747Cambridge university <editore>VANV107986650ITSOL20231201RICA/sebina/repository/catalogazione/documenti/Tourlakis - Lectures in logic and set theory - vol. I.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0050262BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4445 08 6378 I 20060825 Mathematical logic835399UNICAMPANIA