New Axiomatizations of S3 and S4by Leo S
β
Review by: Naoto Yonemitsu
π
Article
π
1954
π
Association for Symbolic Logic
π
English
β 111 KB