[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 Bioseparations

It is generally recognized that the commercial success of biotechnology products is highly dependent..

6,985,000 VNĐ

New

[1825 days] Motor Control and Sensory-Motor Integration: Issues and Directions

This volume evolved from a workshop which addressed the general area of motor control, and the broad..

5,715,000 VNĐ

New

[1825 days] Contemporary Financial Intermediation

Stuart Greenbaum and Anjan Thakor bring a unique analytical approach to the subject of banks and ban..

3,404,000 VNĐ

New

[1825 days] Enzymology Primer for Recombinant DNA Technology

Enzymes are indispensable tools in recombinant DNA technology and genetic engineering. This book not..

8,255,000 VNĐ

New

[1825 days] Pediatric Bone: Biology & Diseases

Pediatric Bone is the first book to be published to deal exclusively with the biology and diseases o..

6,731,000 VNĐ

New

[1825 days] Hack Proofing Your Network 2E

A new edition the most popular Hack Proofing book around!IT professionals who want to run secure net..

1,269,000 VNĐ

New

[1825 days] Sea Level Rise: History and Consequences

Sea Level Rise, History and Consequences includes a special emphasis on the evidence for historical ..

2,158,000 VNĐ

New

[1825 days] Byron and Goethe

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