01313nam0 2200301 i 450 SUN005608720170627113808.23335-401-3258-920061115d1984 |0engc50 baengUS|||| |||||ConstructibilityKeith J. DevlinBerlinSpringer1984XI, 425 p.25 cm.001SUN00508172001 *Perspectives in mathematical logic210 BerlinSpringer1987-1997.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003FxxProof theory and constructive mathematics [MSC 2020]MFSUNC02438303E45Inner models, including constructibility, ordinal definability, and core models [MSC 2020]MFSUNC024464BerlinSUNL000066Devlin, Keith J.SUNV01080728052SpringerSUNV000178650ITSOL20200921RICA/sebina/repository/catalogazione/documenti/Devlin - Constructibility.pdfContentsSUN0056087UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1115 08 5645 II 20061115 Constructibility344546UNICAMPANIA