Mathematical Logic and Theoretical Computer Science covers various topics ranging from recursion theory to Zariski topoi. Leading international authorities discuss selected topics in a number of areas, including denotational semanitcs, reccuriosn theoretic aspects fo computer science, model theory and algebra, Automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic.
The most up-to-date review available in its field, Mathematical Logic and Theoretical Computer Science will be of interest to mathematical logicians, computer scientists, algebraists, algebraic geometers, differential geometers, differential topologists, and graduate students in mathematics and computer science.
€333.78
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
định dạng EPUB ● Trang 408 ● ISBN 9781000154603 ● Nhà xuất bản CRC Press ● Được phát hành 2020 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 8111104 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM
Thêm sách điện tử từ cùng một tác giả / Biên tập viên
48.151 Ebooks trong thể loại này
