A note on the existence property for intuitionistic logic with function symbols

✍ Scribed by L. M. Doorman

• Publisher: John Wiley and Sons
• Year: 1990
• Tongue: English
• Weight: 246 KB
• Volume: 36
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19900360104