Highly Influenced

# Analyzing Gödel's T Via Expanded Head Reduction Trees

@article{Beckmann2000AnalyzingGT, title={Analyzing G{\"o}del's T Via Expanded Head Reduction Trees}, author={Arnold Beckmann and Andreas Weiermann}, journal={Math. Log. Q.}, year={2000}, volume={46}, pages={517-536} }

- Published in Math. Log. Q. 2000
DOI:10.1002/1521-3870(200010)46:4%3C517::AID-MALQ517%3E3.0.CO;2-A