Some topological spaces which are universal for intuitionistic predicate logic

✍ Scribed by I. Moerdijk

• Book ID: 108495282
• Publisher: Elsevier Science
• Year: 1982
• Weight: 412 KB
• Volume: 85
• Category: Article
• ISSN: 1385-7258
• DOI: 10.1016/s1385-7258(82)80014-0