01381nam0 2200313 i 450 VAN005608720240212094041.77335-401-3258-920061115d1984 |0itac50 baengUS|||| |||||ConstructibilityKeith J. DevlinBerlinSpringer1984XI, 425 p.25 cm001VAN00508172001 Perspectives in mathematical logic210 BerlinSpringer03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MF03E45Inner models, including constructibility, ordinal definability, and core models [MSC 2020]VANC024464MFBerlinVANL000066DevlinKeith J.VANV01080728052Springer <editore>VANV108073650ITSOL20240614RICA/sebina/repository/catalogazione/documenti/Devlin - Constructibility.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0056087BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1115 08 5645 II 20061115 Constructibility344546UNICAMPANIA