01728nam 2200409 450 00001309420050718115500.03-540-09710-420030509d1979----km-y0itay0103----baengDEDegrees of unsolvabilitystructure and theoryRichard L. EpsteinBerlin [etc.]Springer1979XIV, 240 p.ill.25 cm.Lecture notes in mathematics7592001Lecture notes in mathematicsLogica matematica511.3(21. ed.)Logica matematica (Logica simbolica)03-02Mathematical logic and foundations. Research exposition03D30Mathematical logic and foundations. Computability and recursion theory. Other degrees and reducibilities03D35Mathematical logic and foundations. Computably and recursion theory. Undecidability and degrees of sets of sentences03F30Mathematical logic and foundations. Proof theory and constructive mathematics. First-order arithmetic and fragmentsEpstein,Richard L.46609ITUniversità della Basilicata - B.I.A.RICAunimarc000013094Degrees of unsolvability81037UNIBASMONSCISCIENZEEXT0030120030509BAS01180220050601BAS011755batch0120050718BAS01105120050718BAS01111020050718BAS01114020050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT31962S319622003050951Riservati