[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
[90 days] Emergency Management and Tactical Response Operations: Bridging the Gap
[90 days] Emergency Management and Tactical Response Operations: Bridging the Gap

Is emergency management education undoing an age-old tradition in the American Fire Service? Has the..

1,777,000 VNĐ

New
[1825 days] Progress in Optics Volume 18
[1825 days] Progress in Optics Volume 18

Progress in Optics Volume 18..

1,853,000 VNĐ

New
[1825 days] E-Business: Organizational and Technical Foundations - Whole
[1825 days] E-Business: Organizational and Technical Foundations - Whole

e-business inextricably aligns technological advances with business models, business repurposing eff..

1,030,500 VNĐ

New
[1825 days] Two Expeditions into the Interior of Southern Australia During the Years 1828-1831, Vol. 2
[1825 days] Two Expeditions into the Interior of Southern Australia During the Years 1828-1831, Vol. 2

Charles Sturt's detailed description of the expedition down the Morumbidgee and Murray Rivers, 1829-..

38,000 VNĐ

New
[1825 days] Whalen v. Roe, 429 U.S. 589
[1825 days] Whalen v. Roe, 429 U.S. 589

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

38,000 VNĐ

New
[1825 days] The Patrol of the Sun Dance Trail
[1825 days] The Patrol of the Sun Dance Trail

..

38,000 VNĐ

New
[30 days] Introduction to Environmental Soil Physics
[30 days] Introduction to Environmental Soil Physics

An abridged, student-oriented edition of Hillel's earlier published Environmental Soil Physics, this..

2,234,000 VNĐ

New
[1825 days] Measurement and Manipulation of Intracellular Ions
[1825 days] Measurement and Manipulation of Intracellular Ions

This practical book provides the detailed methodology and expert guidance required for measuring and..

1,853,000 VNĐ

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