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

[1825 days] Handbook of Proof Theory

CHI TIẾT SẢN PHẨM

Mã sản phẩm:
9780444898401
Tồn kho:
Còn hàng
Nhà xuất bản:
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] Annual Reports on NMR Spectroscopy APL

Annual Reports on NMR Spectroscopy APL..

1,853,000 VNĐ

New
[1825 days] Advances in the Study of Behavior

Advances in the Study of Behavior was initiated over 40 years ago to serve the increasing number of ..

3,937,000 VNĐ

New
[1825 days] Contemporary Ideas on Ship Stability

Widely publicised disasters serve as a reminder to the maritime profession of the eminent need for e..

8,636,000 VNĐ

New
[1825 days] Accounting, the Social and the Political: Classics, Contemporary and Beyond

This book contains 35 carefully selected and abridged versions of scholarly financial and managerial..

3,606,000 VNĐ

New
[1825 days] ADVANCES IN CLINICAL CHEMISTRY VOL 19

ADVANCES IN CLINICAL CHEMISTRY VOL 19..

1,853,000 VNĐ

New
[30 days] Project Engineering: The Essential Toolbox for Young Engineers

For newly hired young engineers assigned to their first real 'project', there has been little to off..

468,500 VNĐ

New
[1825 days] An Evening Thought: Salvation by Christ with Penitential Cries

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

38,000 VNĐ

New
[1825 days] ADV IN PHARMACOLOGY &CHEMOTHERAPY VOL 17

ADV IN PHARMACOLOGY &CHEMOTHERAPY VOL 17..

1,853,000 VNĐ

0898536989