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

[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
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] European Symposium on Computer Aided Process Engineering - 12
[1825 days] European Symposium on Computer Aided Process Engineering - 12

This book contains 182 papers presented at the 12th Symposium of Computer Aided Process Engineering ..

13,970,000 VNĐ

New
[1825 days] Neurophysiology in Neurosurgery: A Modern Intraoperative Approach
[1825 days] Neurophysiology in Neurosurgery: A Modern Intraoperative Approach

Through real-time assessments of how the patient's nervous system is functioning throughout a surgic..

6,350,000 VNĐ

New
[30 days] Atom Interferometry
[30 days] Atom Interferometry

The field of atom interferometry has expanded rapidly in recent years, and todays research laborator..

3,020,500 VNĐ

New
[1825 days] Advances in Food and Nutrition Research
[1825 days] Advances in Food and Nutrition Research

The appearance of Volume 38 marks a transition for Advances in Food and Nutrition Research as Steve ..

1,853,000 VNĐ

New
[1825 days] History of the Peloponnesian War
[1825 days] History of the Peloponnesian War

Thucydides provides the only historical account of one of the greatest events in Greek history. He s..

38,000 VNĐ

New
[1825 days] Network Processor Design: Issues and Practices, Volume 3
[1825 days] Network Processor Design: Issues and Practices, Volume 3

The past few years have seen significant change in the landscape of high-end network processing. In ..

2,310,500 VNĐ

New
[1825 days] Chance
[1825 days] Chance

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

38,000 VNĐ

New
[1825 days] Visual Effects in A Digital World: A Comprehensive Glossary of over 7000 Visual Effects Terms
[1825 days] Visual Effects in A Digital World: A Comprehensive Glossary of over 7000 Visual Effects Terms

As the visual effects industry has diversified, so too have the books written to serve the needs of ..

1,929,500 VNĐ

0898536989
Trang chủ
Tài khoản
0
Giỏ hàng
Thanh toán