[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] Hydrogen in Semiconductors II
[1825 days] Hydrogen in Semiconductors II

Since its inception in 1966, the series of numbered volumes known as Semiconductors and Semimetals h..

6,350,000 VNĐ

New
[150 days] Math Survival Guide: Tips for Science Student
[150 days] Math Survival Guide: Tips for Science Student

This book is specifically designed as a study guide and resource for science students confronted wit..

432,000 VNĐ

New
[1825 days] South Carolina State Highway Department v. Barnwell Brothers, Inc., 303 U.S. 177
[1825 days] South Carolina State Highway Department v. Barnwell Brothers, Inc., 303 U.S. 177

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

38,000 VNĐ

New
[1825 days] The Life and Death of King John
[1825 days] The Life and Death of King John

The Life and Death of King John, a historical drama by William Shakespeare, focuses on the struggle ..

38,000 VNĐ

New
[1825 days] The Adventures of the Stockbroker's Clerk
[1825 days] The Adventures of the Stockbroker's Clerk

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

38,000 VNĐ

New
[90 days] Counseling Problem Gamblers: A Self-Regulation Manual for Individual and Family Therapy
[90 days] Counseling Problem Gamblers: A Self-Regulation Manual for Individual and Family Therapy

Over the past decade, legal wagering has expanded rapidly in North America. In 1998 alone, people lo..

667,500 VNĐ

New
[1825 days] Generalisation of Geographic Information: Cartographic Modelling and Applications
[1825 days] Generalisation of Geographic Information: Cartographic Modelling and Applications

Theoretical and Applied Solutions in Multi Scale MappingUsers have come to expect instant access to ..

5,461,000 VNĐ

New
[1825 days] General Description of the Types
[1825 days] General Description of the Types

Jung describes the two general attitude types, introverted and extroverted, and the peculiarities of..

38,000 VNĐ

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