[1825 days] Admissibility of Logical Inference Rules
[1825 days] Admissibility of Logical Inference Rules [1825 days] Admissibility of Logical Inference Rules

[1825 days] Admissibility of Logical Inference Rules

0 đánh giá

CHI TIẾT SẢN PHẨM

Mã sản phẩm:
9780444895059
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ả:
Rybakov, V.V.


Special Price 4,953,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

The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on:

• admissible or permissible inference rules

• the derivability of the admissible inference rules

• the structural completeness of logics

• the bases for admissible and valid inference rules.

There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered.

The book is basically self-contained and special attention has been made to present the material in a convenient manner for the reader. Proofs of results, many of which are not readily available elsewhere, are also included.

The book is written at a level appropriate for first-year graduate students in mathematics or computer science. Although some knowledge of elementary logic and universal algebra are necessary, the first chapter includes all the results from universal algebra and logic that the reader needs. For graduate students in mathematics and computer science the book is an excellent textbook.

Sản phẩm liên quan

New
[150 days] Handbook of Evaluation Methods for Health Informatics
[150 days] Handbook of Evaluation Methods for Health Informatics

This Handbook provides a complete compendium of methods for evaluation of IT-based systems and solut..

896,000 VNĐ

New
[1825 days] The Circuit Designer's Companion
[1825 days] The Circuit Designer's Companion

Tim Williams' Circuit Designer's Companion provides a unique masterclass in practical electronic des..

2,005,500 VNĐ

New
[1825 days] Numerical Analysis of Wavelet Methods
[1825 days] Numerical Analysis of Wavelet Methods

Since their introduction in the 1980's, wavelets have become a powerful tool in mathematical analysi..

3,480,000 VNĐ

New
[1825 days] Chemical Engineering: A New Perspective
[1825 days] Chemical Engineering: A New Perspective

Chemical engineering has often been referred to as a study in methodology. Approaches in chemical en..

2,794,000 VNĐ

New
[30 days] Atmospheric Science: An Introductory Survey
[30 days] Atmospheric Science: An Introductory Survey

Wallace and Hobbs’ original edition of Atmospheric Science helped define the field nearly 30 years a..

556,500 VNĐ

New
[150 days] Water Use, Management, and Planning in the United States
[150 days] Water Use, Management, and Planning in the United States

Water Use Management, and Planning in the United States is designed with new college classes on wate..

1,067,000 VNĐ

New
[1825 days] Handbook of Process Chromatography: Development, Manufacturing, Validation and Economics
[1825 days] Handbook of Process Chromatography: Development, Manufacturing, Validation and Economics

This book will update the original edition published in 1997. Since the publication of the first edi..

5,080,000 VNĐ

New
[1825 days] Cytochrome P450, Part C: Methods in Enzymology
[1825 days] Cytochrome P450, Part C: Methods in Enzymology

The critically acclaimed laboratory standard for more than forty years, Methods in Enzymology is one..

5,080,000 VNĐ

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