(Q29013192)
Statements
Axiomatization of propositional calculus with Sheffer functors (English)
1 reference
Thomas W. Scharle
1 reference
1965
1 reference
6
1 reference
3
1 reference
209-217
1 reference
Identifiers
1 reference