Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
định dạng PDF ● Trang 424 ● ISBN 9781614518044 ● Biên tập viên Vasco Brattka & Hannes Diener ● Nhà xuất bản De Gruyter ● Được phát hành 2014 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 4441722 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM