[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] Introductory Statistics
[1825 days] Introductory Statistics

In this revised text, master expositor Sheldon Ross has produced a unique work in introductory stati..

1,497,500 VNĐ

New
[1825 days] Evidence-Based Educational Methods
[1825 days] Evidence-Based Educational Methods

Evidence-Based Educational Methods answers the challenge of the No Child Left Behind Act of 2001 by ..

2,437,500 VNĐ

New
[30 days] Tissue Engineering
[30 days] Tissue Engineering

Tissue Engineering is a comprehensive introduction to the engineering and biological aspects of this..

1,406,000 VNĐ

New
[1825 days] Bioseparation Engineering
[1825 days] Bioseparation Engineering

The bioseparation engineering of today includes downstream process engineering such as waste water, ..

4,445,000 VNĐ

New
[1825 days] Thermo-Mechanical Processing of Metallic Materials
[1825 days] Thermo-Mechanical Processing of Metallic Materials

Modern metallic materials are used extensively in a wide variety of applications, some of which are ..

5,715,000 VNĐ

New
[1825 days] RF and Microwave Radiation Safety
[1825 days] RF and Microwave Radiation Safety

The leading professional guide to RF and microwave safety issuesA practical handbook for all involve..

3,734,000 VNĐ

New
[1825 days] Quantum Theoretic Machines: What is thought from the point of view of Physics?
[1825 days] Quantum Theoretic Machines: What is thought from the point of view of Physics?

Making Sense of Inner Sense 'Terra cognita' is terra incognita. It is difficult to find someone not..

6,350,000 VNĐ

New
[1825 days] Design Methods for Reactive Systems: Yourdon, Statemate, and the UML
[1825 days] Design Methods for Reactive Systems: Yourdon, Statemate, and the UML

Design Methods for Reactive Systems describes methods and techniques for the design of software syst..

2,565,500 VNĐ

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