Analyzing Gödel's T Via Expanded Head Reduction Trees (Q4521126)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Analyzing Gödel's T Via Expanded Head Reduction Trees |
scientific article; zbMATH DE number 1545075
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analyzing Gödel's T Via Expanded Head Reduction Trees |
scientific article; zbMATH DE number 1545075 |
Statements
16 July 2001
0 references
expanded head reduction trees
0 references
Buchholz' \(\Omega\)-rule
0 references
derivation lengths
0 references
Gödel's system \(T\)
0 references
Analyzing Gödel's T Via Expanded Head Reduction Trees (English)
0 references