SÁCH THẬT - TRI THỨC THẬT CÙNG BOOKMEDI.VN

[1825 days] Handbook of Proof Theory

[1825 days] Handbook of Proof Theory
[1825 days] Handbook of Proof Theory
Mã sản phẩm:
9780444898401
Nhà xuất bản:
Elsevier S & T
Loại bìa:
Page Fidelity
Ngôn ngữ:
English
Tác giả:
Buss, S.R.
Thuê hoặc mua eTextbook
1825 ngày
5.969.000 VND

Hết hạn vào: 2030-12-24

5.969.000 VND

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.

Đang cập nhật
Liên kết:

Elsevier S & T

Sản phẩm cùng chủ đề

New
[1825 days] Bebop to the Boolean Boogie: An Unconventional Guide to Electronics
[1825 days] Bebop to the Boolean Boogie: An Unconventional Guide to Electronics

From reviews of the first edition:"If you want to be reminded of the joy of electronics, take a look..

1,523,000 VNĐ

New
[1825 days] Ohio v. Robinette, 519 U.S. 33
[1825 days] Ohio v. Robinette, 519 U.S. 33

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

38,000 VNĐ

New
[180 days] Environmental Soil Physics: Fundamentals, Applications, and Environmental Considerations
[180 days] Environmental Soil Physics: Fundamentals, Applications, and Environmental Considerations

Environmental Soil Physics is a completely updated and modified edition of the Daniel Hillels previ..

1,360,000 VNĐ

New
[1825 days] Le Paradis Perdu
[1825 days] Le Paradis Perdu

..

38,000 VNĐ

New
[1825 days] Linkage Thermodynamics of Macromolecular Interactions
[1825 days] Linkage Thermodynamics of Macromolecular Interactions

This volume commemorates the 50th anniversary of the appearance in Volume 4 in 1948 of Dr. Jeffries ..

4,445,000 VNĐ

New
[150 days] Routing, Flow, and Capacity Design in Communication and Computer Networks
[150 days] Routing, Flow, and Capacity Design in Communication and Computer Networks

In network design, the gap between theory and practice is woefully broad. This book narrows it, comp..

833,000 VNĐ

New
[1825 days] Multi-Level Methods in Lubrication
[1825 days] Multi-Level Methods in Lubrication

Efficient numerical solution of realistic and, therefore, complex equation systems occupies many res..

5,334,000 VNĐ

New
[1825 days] Letters of Pliny the Consul
[1825 days] Letters of Pliny the Consul

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

38,000 VNĐ

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