[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

Danh mục

Mua eTextbooks trực tuyến

Nhà xuất bản:

Trạng thái:

Có hàng

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

Mô tả
Đánh giá (0)

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] The Case of the Negro

[1825 days] The Case of the Negro

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

38,000 VNĐ

New

[30 days] Embedded Microprocessor Systems: Real World Design

[30 days] Embedded Microprocessor Systems: Real World Design

The less-experienced engineer will be able to apply Ball's advice to everyday projects and challenge..

640,000 VNĐ

New

[30 days] Starting Electronics Construction: Techniques, Equipment and Projects

[30 days] Starting Electronics Construction: Techniques, Equipment and Projects

As a step-by-step guide from circuit design to finished product, this practical electronics book act..

376,500 VNĐ

New

[1825 days] Baldwin v. G.A.F. Seelig, Inc., 294 U.S. 511

[1825 days] Baldwin v. G.A.F. Seelig, Inc., 294 U.S. 511

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

38,000 VNĐ

New

[150 days] Keeping Found Things Found: The Study and Practice of Personal Information Management: The Study and Practice of Personal Information Management

[150 days] Keeping Found Things Found: The Study and Practice of Personal Information Management: The Study and Practice of Personal Information Management

WE ARE ADRIFT IN A SEA OF INFORMATION. We need information to make good decisions, to get things don..

645,500 VNĐ

New

[1825 days] ADVANCES IN PROTEIN CHEMISTRY VOL 27

[1825 days] ADVANCES IN PROTEIN CHEMISTRY VOL 27

ADVANCES IN PROTEIN CHEMISTRY VOL 27..

1,853,000 VNĐ

New

[1825 days] The Provincial Letters

[1825 days] The Provincial Letters

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

38,000 VNĐ

New

[1825 days] The Sonnets

[1825 days] The Sonnets

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

38,000 VNĐ