The author selects 23 of his papers in mathematical logic that pursue definability via priority, forcing, compactness and fine structure applied to classical recursion, hyperarithmetic sets, recursion in objects of finite type, measure, models and E-recursion. His general introduction provides a chronology both personal and technical.
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng PDF ● Trang 452 ● ISBN 9789812812926 ● Kích thước tập tin 72.2 MB ● Biên tập viên Gerald E Sacks ● Nhà xuất bản World Scientific Publishing Company ● Thành phố Singapore ● Quốc gia SG ● Được phát hành 1999 ● Có thể tải xuống 24 tháng ● Tiền tệ EUR ● TÔI 2447250 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM