[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] Applied Geothermics for Petroleum Engineers
[1825 days] Applied Geothermics for Petroleum Engineers

The purpose of Applied Geothermics for Petroleum Engineers is to present in a clear and concise form..

5,969,000 VNĐ

New
[1825 days] Dielectric Materials for Wireless Communication
[1825 days] Dielectric Materials for Wireless Communication

Microwave dielectric materials play a key role in our global society with a wide range of applicatio..

6,096,000 VNĐ

New
[1825 days] Isotope Effects in Solid State Physics
[1825 days] Isotope Effects in Solid State Physics

Since its inception in 1966, the series of numbered volumes known as Semiconductors and Semimetals h..

6,350,000 VNĐ

New
[30 days] Pipeline Risk Management Manual: Ideas, Techniques, and Resources
[30 days] Pipeline Risk Management Manual: Ideas, Techniques, and Resources

Here's the ideal tool if you're looking for a flexible, straightforward analysis system for your eve..

1,669,000 VNĐ

New
[1825 days] Apoptosis
[1825 days] Apoptosis

Volume 322 of Methods in Enzymology is dedicated to apoptosis. Major topics covered include measurin..

5,334,000 VNĐ

New
[1825 days] The Education of Henry Adams
[1825 days] The Education of Henry Adams

While Henry Adams did not follow in the illustrious footsteps of his grandfather, John Quincy Adams,..

38,000 VNĐ

New
[1825 days] INTERNATIONAL REVIEW OF CYTOLOGY V88
[1825 days] INTERNATIONAL REVIEW OF CYTOLOGY V88

INTERNATIONAL REVIEW OF CYTOLOGY V88..

1,853,000 VNĐ

New
[1825 days] The Rhinencephalon and Related Structures
[1825 days] The Rhinencephalon and Related Structures

The Rhinencephalon and Related Structures..

1,853,000 VNĐ

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