Ordinal Analysis with an Introduction to Proof Theory
Language: en
Pages: 327

Ordinal Analysis with an Introduction to Proof Theory

Authors: Toshiyasu Arai
Categories: Philosophy
Type: BOOK - Published: 2020-08-11 - Publisher: Springer Nature

GET EBOOK

This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory t
An Introduction to Proof Theory
Language: en
Pages: 336

An Introduction to Proof Theory

Authors: Paolo Mancosu
Categories: Philosophy
Type: BOOK - Published: 2021-08-12 - Publisher: Oxford University Press

GET EBOOK

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid
Proof Theory
Language: en
Pages: 220

Proof Theory

Authors: Wolfram Pohlers
Categories: Mathematics
Type: BOOK - Published: 2009-06-10 - Publisher: Springer

GET EBOOK

Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advance
Proof Theory and Ordinal Analysis
Language: en
Pages: 82

Proof Theory and Ordinal Analysis

Authors: Mathematical Sciences Research Institute (Berkeley, Calif.).
Categories:
Type: BOOK - Published: 1990 - Publisher:

GET EBOOK

Analysis
Language: en
Pages: 368

Analysis

Authors: Steven R. Lay
Categories: Mathematics
Type: BOOK - Published: 2000 - Publisher:

GET EBOOK

For courses in Real Analysis, Advanced Calculus, and Transition to Advanced Mathematics or Proofs course. Carefully focused on reading and writing proofs, this