A note on the redundancy of an axiom in
β
R. Holzman
π
Article
π
1984
π
Springer
π
English
β 145 KB