LEADER 01206nam0 2200289 i 450 001 SUN0053245 005 20170404121115.563 010 $a04-448-6839-9$d0.00 100 $a20060925r1999 |0engc50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aSet theory$ean introduction to independence proofs$fKenneth Kunen 210 $aNew York$cElsevier$dstampa 1999 215 $aXVI, 313 p.$d23 cm. 410 1$1001SUN0023705$12001 $aStudies in logic and the foundations of mathematics$v102$1210 $aAmsterdam$cElsevier. 606 $a03Exx$xSet theory [MSC 2020]$2MF$3SUNC019939 606 $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$2MF$3SUNC024383 620 $aUS$dNew York$3SUNL000011 700 1$aKunen$b, Kenneth$3SUNV042009$044682 712 $aElsevier$3SUNV000127$4650 801 $aIT$bSOL$c20200727$gRICA 856 4 $uhttps://books.google.it/books?id=wWniBQAAQBAJ&printsec=frontcover&hl=it 912 $aSUN0053245 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2310 $e08 5477 I 20060925 996 $aSet theory$975188 997 $aUNICAMPANIA