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

✍ Scribed by Arnold Beckmann; Andreas Weiermann

• Book ID: 101370298
• Publisher: John Wiley and Sons
• Year: 2000
• Tongue: English
• Weight: 256 KB
• Volume: 46
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/1521-3870(200010)46:4<517::aid-malq517>3.0.co;2-a