[1825 days] Handbook of Proof Theory
[1825 days] Handbook of Proof Theory [1825 days] Handbook of Proof Theory

[1825 days] Handbook of Proof Theory

0 đánh giá

CHI TIẾT SẢN PHẨM

Mã sản phẩm:
9780444898401
Tồn kho:
Còn hàng
Danh mục
Mua eTextbooks trực tuyến
Nhà xuất bản:
Elsevier S & T
Loại bìa:
Page Fidelity
Ngôn ngữ:
English
Tác giả:
Buss, S.R.


Special Price 5,969,000 VNĐ

Còn VNĐ nữa bạn sẽ được miễn phí giao hàngTìm hiểu thêm

Thời gian giao hàng Xem thêm

Chính sách đổi trả Xem thêm

Số lượng

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.

The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.

Sản phẩm liên quan

New
[1825 days] United States v. Watson, 423 U.S. 411
[1825 days] United States v. Watson, 423 U.S. 411

This title is from the Hayes Barton Press "Originals" series, a collection of classic fiction and no..

38,000 VNĐ

New
[30 days] Moderating Usability Tests: Principles and Practices for Interacting
[30 days] Moderating Usability Tests: Principles and Practices for Interacting

Many aspects of usability testing have been thoroughly studied and documented. This isn’t true, howe..

366,000 VNĐ

New
[1825 days] Semiconductor Sensors in Physico-Chemical Studies: Translated from Russian by V.Yu. Vetrov
[1825 days] Semiconductor Sensors in Physico-Chemical Studies: Translated from Russian by V.Yu. Vetrov

The scientific basis of the technique of semiconductor chemical sensors is the main focus of this wo..

5,461,000 VNĐ

New
[1825 days] Multidimensional Systems: Signal Processing and Modeling Techniques: Advances in Theory and Applications
[1825 days] Multidimensional Systems: Signal Processing and Modeling Techniques: Advances in Theory and Applications

Praise for Previous Volumes"This book will be a useful reference to control engineers and researcher..

1,853,000 VNĐ

New
[1825 days] Les Cariatides
[1825 days] Les Cariatides

..

38,000 VNĐ

New
[1825 days] The Qur'an
[1825 days] The Qur'an

The Qur'an is a collection of Muhammad's speeches written down by his followers. It is the central ..

38,000 VNĐ

New
[1825 days] Tropical Medicine: An Illustrated History of The Pioneers
[1825 days] Tropical Medicine: An Illustrated History of The Pioneers

This superbly illustrated work provides short accounts of the lives and scientific contributions of ..

1,751,500 VNĐ

New
[1825 days] ADVANCES IN AGRONOMY VOLUME 40
[1825 days] ADVANCES IN AGRONOMY VOLUME 40

ADVANCES IN AGRONOMY VOLUME 40..

1,853,000 VNĐ

0898536989
Trang chủ
Tài khoản
0
Giỏ hàng
Thanh toán