Writing out unifiers for formulas with coefficients in intuitionistic logic

✍ Scribed by Rybakov, V. V.

• Book ID: 121727542
• Publisher: Oxford University Press
• Year: 2012
• Tongue: English
• Weight: 122 KB
• Volume: 21
• Category: Article
• ISSN: 1367-0751
• DOI: 10.1093/jigpal/jzs015