On Weak Completeness of Intuitionistic P
โ
G. Kreisel
๐
Article
๐
1962
๐
Association for Symbolic Logic
๐
English
โ 625 KB