1. A. Church:The weak positive implicational propositional calculus, The Journal of Symbolic Logic, Vol. 16, No. 3, 1951.
2. A. Church:Introduction to mathematical logic, Vol. I, Princeton 1956.
3. H. B. Curry:Generalizations of the deduction theorem, Proceedings of the International Congress of Mathematicians, 1954, Vol. II, Amsterdam 1954.
4. D. Hilbert, P. Bernays:Grundlagen der Mathematik, Bd I, Bd II (Supplement III), Berlin 1934–1939.
5. J. Łoś, R. Suszko:Remarks on sentential logics, Proc. Kon. Neth. Akad. van Weten., ser. A, 61, 177–183, 1958.