01356nam0 2200301 i 450 VAN0005324520240806100502.92704-448-6839-920060925r1999 |0itac50 baengUS|||| |||||Set theoryan introduction to independence proofsKenneth KunenNew YorkElsevierstampa 1999XVI, 313 p.23 cm001VAN000237052001 Studies in logic and the foundations of mathematics210 AmsterdamElsevier10203ExxSet theory [MSC 2020]VANC019939MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFUSNew YorkVANL000011KunenKennethVANV04200944682Elsevier <editore>VANV108024650ITSOL20240906RICAhttps://books.google.it/books?id=wWniBQAAQBAJ&printsec=frontcover&hl=ithttps://books.google.it/books?id=wWniBQAAQBAJ&printsec=frontcover&hl=itBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00053245BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2310 08 5477 I 20060925 Set theory75188UNICAMPANIA