Logical Connectives for Intuitionistic P
β
Dean P. McCullough
π
Article
π
1971
π
Association for Symbolic Logic
π
English
β 554 KB