01353nam0 2200301 i 450 VAN005324520240212123435.37004-448-6839-920060925r1999 |0itac50 baengUS|||| |||||Set theoryan introduction to independence proofsKenneth KunenNew YorkElsevierstampa 1999XVI, 313 p.23 cm001VAN00237052001 Studies in logic and the foundations of mathematics210 AmsterdamElsevier10203ExxSet theory [MSC 2020]VANC019939MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFUSNew YorkVANL000011KunenKennethVANV04200944682Elsevier <editore>VANV108024650ITSOL20240216RICAhttps://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-CE0120VAN08VAN0053245BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2310 08 5477 I 20060925 Set theory75188UNICAMPANIA