01206nam0 2200289 i 450 SUN005324520170404121115.56304-448-6839-90.0020060925r1999 |0engc50 baengUS|||| |||||Set theoryan introduction to independence proofsKenneth KunenNew YorkElsevierstampa 1999XVI, 313 p.23 cm.001SUN00237052001 Studies in logic and the foundations of mathematics102210 AmsterdamElsevier.03ExxSet theory [MSC 2020]MFSUNC01993903FxxProof theory and constructive mathematics [MSC 2020]MFSUNC024383USNew YorkSUNL000011Kunen, KennethSUNV04200944682ElsevierSUNV000127650ITSOL20200727RICAhttps://books.google.it/books?id=wWniBQAAQBAJ&printsec=frontcover&hl=itSUN0053245UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2310 08 5477 I 20060925 Set theory75188UNICAMPANIA