Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel

✍ Scribed by Paolo Gentilini

• Book ID: 110222043
• Publisher: Springer Netherlands
• Year: 1999
• Tongue: English
• Weight: 714 KB
• Volume: 63
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1023/a:1005266731458