1. Belnap, N. (1961–62): Tonk, plonk and plink, Analysis 22, 30–34.
2. Boricic, B. (1985): On sequence-conclusion natural deduction systems, J. Philos. Logic 14, 359–377.
3. Carnap, R. (1937): The Logical Syntax of Language, Routledge, London.
4. Church, A. (1956): Introduction to Mathematical Logic, Princeton University Press, Princeton.
5. Dummett, M. (1991): The Logical Basis of Metaphysics, Harvard University Press, Cambridge, Mass.