Logical Connectives for Intuitionistic P
β
Review by: Melvin Fitting
π
Article
π
1973
π
Association for Symbolic Logic
π
English
β 115 KB