LEADER 01313nam0 2200301 i 450 
001 SUN0056087
005 20170627113808.233
010   $a35-401-3258-9
100   $a20061115d1984       |0engc50      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$1001SUN0050817$12001 $a*Perspectives in mathematical logic$1210  $aBerlin$cSpringer$d1987-1997.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$2MF$3SUNC024383
606   $a03E45$xInner models, including constructibility, ordinal definability, and core models [MSC 2020]$2MF$3SUNC024464
620   $dBerlin$3SUNL000066
700  1$aDevlin$b, Keith J.$3SUNV010807$028052
712   $aSpringer$3SUNV000178$4650
801   $aIT$bSOL$c20200921$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Devlin - Constructibility.pdf$zContents
912   $aSUN0056087
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1115        $e08   5645      II      20061115            
996   $aConstructibility$9344546
997   $aUNICAMPANIA