[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] ADVANCES IN CLINICAL CHEMISTRY VOL 23

ADVANCES IN CLINICAL CHEMISTRY VOL 23..

1,853,000 VNĐ

New
[1825 days] Essential MATLAB for Engineers and Scientists

The essential guide to MATLAB as a problem solving toolThis text presents MATLAB both as a mathemati..

1,320,000 VNĐ

New
[1825 days] A Theory of Individual Behavior

A Theory of Individual Behavior dispels the notion that individuals act as rational agents and striv..

2,132,500 VNĐ

New
[1825 days] ADVANCES IN GENETICS VOLUME 25

ADVANCES IN GENETICS VOLUME 25..

1,853,000 VNĐ

New
[1825 days] Recent Advances in Psychology and Aging

Recent Events in the Psychology of Aging documents the successful integration of aging into the main..

4,191,000 VNĐ

New
[1825 days] Sensors and Transducers

In this book Ian Sinclair provides the practical knowhow required by technician engineers, systems d..

2,183,500 VNĐ

New
[1825 days] ADVANCES IN CATALYSIS VOLUME 36

ADVANCES IN CATALYSIS VOLUME 36..

1,853,000 VNĐ

New
[1825 days] Checklist for Sustainable Landscape Management: Final Report of the EU Concerted Action AIR3-CT93-1210

This work is an interdisciplinary, cross-cultural, widely-calibrated checklist for EU sustainable la..

4,445,000 VNĐ

0898536989