LEADER 01356nam0 2200301 i 450 
001 VAN00053245
005 20240806100502.927
010   $a04-448-6839-9
100   $a20060925r1999       |0itac50      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$1001VAN00023705$12001 $aStudies in logic and the foundations of mathematics$1210  $aAmsterdam$cElsevier$v102
606   $a03Exx$xSet theory [MSC 2020]$3VANC019939$2MF
606   $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF
620   $aUS$dNew York$3VANL000011
700  1$aKunen$bKenneth$3VANV042009$044682
712   $aElsevier <editore>$3VANV108024$4650
801   $aIT$bSOL$c20240906$gRICA
856 4 $uhttps://books.google.it/books?id=wWniBQAAQBAJ&printsec=frontcover&hl=it$zhttps://books.google.it/books?id=wWniBQAAQBAJ&printsec=frontcover&hl=it
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN00053245
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   2310        $e08   5477      I       20060925            
996   $aSet theory$975188
997   $aUNICAMPANIA