[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

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] Handbook of Conveying and Handling of Particulate Solids

This handbook presents comprehensive coverage of the technology for conveying and handling particula..

11,557,000 VNĐ

New

[90 days] Handbook of Complementary and Alternative Therapies in Mental Health

Scott Shannon is an MD, president elect of the American Holistic Medical Association, and considered..

1,886,000 VNĐ

New

[1825 days] Intelligent Robots and Systems

Of the 300 papers presented during IROS '94, 48 were selected because they are particularly signific..

1,853,000 VNĐ

New

[1825 days] Kismet Hacking

Kismet is the industry standard for examining wireless network traffic, and is used by over 250,000 ..

1,472,000 VNĐ

New

[1825 days] Hazardous Waste Compliance

Hazardous Waste Compliance concentrates on government regulations as they relate to hazardous waste ..

2,896,000 VNĐ

New

[1825 days] Lipidomics and Bioactive Lipids: Lipids and Cell Signaling: Lipids and Cell Signaling

This volume in the well-established Methods in Enzymology series features methods for the study of l..

5,080,000 VNĐ

New

[1825 days] Dynamics of Adsorption at Liquid Interfaces: Theory, Experiment, Application

As the first of its kind, this book provides a valuable introduction for scientists and engineers in..

1,853,000 VNĐ

New

[1825 days] The Getting of Wisdom

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

38,000 VNĐ

[1825 days] Handbook of Proof Theory

Sản phẩm liên quan

Trang chủ

Tài khoản

Giỏ hàng

Thanh toán