ロード中...
Proof analysis : a contribution to Hilbert's last problem /
"This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the pr...
| 主要な著者: | , |
|---|---|
| フォーマット: | Printed Book |
| 言語: | English |
| 出版事項: |
Cambridge, UK ; New York :
Cambridge University Press,
2011.
|
| 主題: | |
| オンライン･アクセス: | Cover image |
インターネット
Cover imageUniversity of Calicut
| 請求記号: |
511.3/6 |
|---|---|
| 所蔵 | ステータス情報は利用できません |