References
- Ajdukiewicz, K. (1935). Die syntaktische Konnexit¨at. Studia Philosophica, 1, 1-27. Transl. Syntactic Connection, in S. McCall (1967, Ed.), Polish Logic, 1920-1939 (pp. 207-230), Oxford: Clarendon.
- Anderson, A. R. & Belnap, N. D. (1975). Entailment. The Logic of Relevance and Necessity. Princeton: Princeton University Press.
- Carnap, R. (1934). Logische Syntax der Sprache. Vienna: Springer. Transl. Logical Syntax of Language. London: Kegan Paul, 1937.
- Church, A. (1940). A Formulation of the Simple Theory of Types. Journal of Sym- bolic Logic, 5, 56-68.
- Frege, G. (1903). Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet. Vol. 2. Jena: Pohle.
- Frege, G. (1983). Nachgelassene Schriften. 2nd ed. Hamburg: Meiner. Transl. Posthumous Writings. Oxford: Blackwell, 1979.
- Jaśkowski, S. (1934). On the Rule of Suppositions in Formal Logic. Studia Logica, 1, 5-32. Reprinted in S. McCall (Ed.), Polish Logic, 1920-1939 (pp. 232-258), Oxford: Clarendon, 1967.
- Leśniewski, S. (1992). Collected Papers, Vol. II. Dordrecht: Kluwer.
- Pepys, S. (1971). The Diary of Samuel Pepys. Vol. I, 1660. Ed. R. Latham and W. Matthews. London: Bell & Hyman.
- Simons, P. M. (1988). Functional Operations in Frege’s Begriffsschrift. History and Philosophy of Logic, 9, 35-42.
- Simons, P. M. (2006). Languages with Variable-Binding Operators: Categorial Syntax and Combinatorial Semantics. In J. Jadacki & J. Paśniczek (Eds.), The Lvov-Warsaw Scool. The New Generation (pp. 239-268), Amsterdam: Rodopi.