Some Strongly Undecidable Natural Arithmetical Problems, with an Application to Intuitionistic Theories

✍ Scribed by Panu Raatikainen

• Book ID: 124980276
• Publisher: Association for Symbolic Logic
• Year: 2003
• Tongue: English
• Weight: 198 KB
• Volume: 68
• Category: Article
• ISSN: 0022-4812
• DOI: 10.2307/4147741