LEADER 01381nam0 2200313 i 450 001 VAN0056087 005 20240212094041.773 010 $a35-401-3258-9 100 $a20061115d1984 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aConstructibility$fKeith J. Devlin 210 $aBerlin$cSpringer$d1984 215 $aXI, 425 p.$d25 cm 410 1$1001VAN0050817$12001 $aPerspectives in mathematical logic$1210 $aBerlin$cSpringer 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF 606 $a03E45$xInner models, including constructibility, ordinal definability, and core models [MSC 2020]$3VANC024464$2MF 620 $dBerlin$3VANL000066 700 1$aDevlin$bKeith J.$3VANV010807$028052 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Devlin - Constructibility.pdf$zContents 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0056087 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 1115 $e08 5645 II 20061115 996 $aConstructibility$9344546 997 $aUNICAMPANIA