Proof Theory : A Selection of Papers from the Leeds Proof Theory Programme 1990

個数:
  • ポイントキャンペーン

Proof Theory : A Selection of Papers from the Leeds Proof Theory Programme 1990

  • 提携先の海外書籍取次会社に在庫がございます。通常2週間で発送いたします。
    重要ご説明事項
    1. 納期遅延や、ご入手不能となる場合が若干ございます。
    2. 複数冊ご注文の場合、分割発送となる場合がございます。
    3. 美品のご指定は承りかねます。
  • ≪洋書のご注文につきまして≫ 「海外取次在庫あり」および「国内仕入れ先からお取り寄せいたします」表示の商品でも、納期の目安期間内にお届けできないことがございます。あらかじめご了承ください。

  • 製本 Hardcover:ハードカバー版/ページ数 306 p.
  • 言語 ENG,ENG
  • 商品コード 9780521414135
  • DDC分類 511.3

Full Description


The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.

Table of Contents

1. Basic proof theory S. Wainer and L. Wallen
2. A short course in ordinal analysis W. Pohlers
3. Proofs as programs H. Schwichtenberg
4. A simplified version of local predicativity
W. Buchholz
5. A note on bootstrapping intuitionistic
bounded arithmetic S. Buss
6. Termination orderings and complexity
characteristics E. Cichon
7. Logics for termination and correction of
functional programs S. Feferman
8. Reflecting the semantics of reflected proof
D. Howe
9. Fragments of Kripke-Platek set theory M.
Rathjen
10. Provable computable selection functions on
abstract structures J. Tuckers and J. Zucker.