01499nam2 2200313 i 450 SUN005026220160322094641.10705-217-5373-20.0020060825d2003 |0engc50 baengGB|||| |||||1: *Mathematical logicGeorge TourlakisCambridgeCambridge university2003XI, 328 p.24 cm.001SUN00247332001 *Cambridge studies in advanced mathematics82210 CambridgeCambridge university.001SUN00502602001 *Lectures in logic and set theoryGeorge Tourlakis1210 CambridgeCambridge University215 v.24 cm.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003F30First-order arithmetic and fragments [MSC 2020]MFSUNC02440103B10Classical first-order logic [MSC 2020]MFSUNC024530CambridgeSUNL000024Tourlakis, GeorgeSUNV039513149747Cambridge universitySUNV000097650ITSOL20200720RICA/sebina/repository/catalogazione/documenti/Tourlakis - Lectures in logic and set theory - vol. I.pdfContentsSUN0050262UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4445 08 6378 I 20060825 Mathematical logic835399UNICAMPANIA