On the Period of Sequences (A:::n:::(p)) in Intuitionistic Propositional Calculus

Wim Ruitenburg. On the Period of Sequences (A:::n:::(p)) in Intuitionistic Propositional Calculus. Journal of Symbolic Logic, 49(3):892-899, 1984.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.