Introduction: On proof

Introduction: Proof-theoretic Semantics

✍ Reinhard Kahle; Peter Schroeder-Heister 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 155 KB

Proof Theory. An Introduction

✍ Cantini, Andrea; Pohlers, Wolfram 📂 Article 📅 1993 🏛 Association for Symbolic Logic 🌐 English ⚖ 321 KB

Proof Theory: An Introduction

✍ Wolfram Pohlers (auth.) 📂 Library 📅 1989 🏛 Springer 🌐 English ⚖ 10 MB

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 advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of ele

Proof Theory. An Introduction

✍ Wolfram Pohlers, Pohlers 📂 Library 📅 1989 🏛 Springer 🌐 English ⚖ 2 MB

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 advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of ele

Introduction to Special Section on Proba

Introduction to Special Section on Probabilistic Proof Systems

✍ Goldwasser, Shafi 📂 Article 📅 1998 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 61 KB

Introduction to Proofs in Mathematics

✍ Franklin J., Daoud A. 📂 Library 📅 1990 🌐 English ⚖ 1 MB