Uniform provability realization of intuitionistic logic, modality and λ-terms

✍ Scribed by Sergei N. Artemov

• Book ID: 108498158
• Publisher: Elsevier Science
• Year: 1999
• Tongue: English
• Weight: 510 KB
• Volume: 23
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(04)00100-8