Two measures for proving Gentzen's Hauptsatz without mix

✍ Scribed by Mirjana Borisavljević

• Book ID: 105842047
• Publisher: Springer
• Year: 2003
• Tongue: English
• Weight: 195 KB
• Volume: 42
• Category: Article
• ISSN: 0933-5846
• DOI: 10.1007/s00153-002-0155-x