[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] Enzymes for Carbohydrate Engineering

This book describes the recent developments in enzymology in carbohydrate engineering based on moder..

4,191,000 VNĐ

New

[1825 days] On the Antiseptic Principle of the Practice of Surgery

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

38,000 VNĐ

New

[1825 days] Real World Drug Discovery: A Chemist's Guide to Biotech and Pharmaceutical Research

Drug discovery increasingly requires a common understanding by researchers of the many and diverse f..

2,259,500 VNĐ

New

[1825 days] Advances in Marine Biology: Volume 25

Volume 25 of this authoritative review series continues the high standard set by the editors in the ..

1,853,000 VNĐ

New

[1825 days] The Real MCTS/MCITP Exam 70-647 Prep Kit: Independent and Complete Self-Paced Solutions

This exam is designed to validate skills as a Windows Server 2008 Enterprise Administrator. This exa..

1,599,000 VNĐ

New

[1825 days] ADV IN ATOMIC & MOLECULAR PHYSICS V16

ADV IN ATOMIC & MOLECULAR PHYSICS V16..

1,853,000 VNĐ

New

[1825 days] Natural Immunity

"Natural Immunity" is a broadly-based account of the activities of the evolutionarily conserved mole..

4,826,000 VNĐ

New

[1825 days] Wills' Mineral Processing Technology: An Introduction to the Practical Aspects of Ore Treatment and Mineral Recovery

Wills' Mineral Processing Technology provides practising engineers and students of mineral processin..

1,980,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