[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.]Search in Google Scholar
[Anderson, A. R. & Belnap, N. D. (1975). Entailment. The Logic of Relevance and Necessity. Princeton: Princeton University Press.]Search in Google Scholar
[Carnap, R. (1934). Logische Syntax der Sprache. Vienna: Springer. Transl. Logical Syntax of Language. London: Kegan Paul, 1937.]Search in Google Scholar
[Church, A. (1940). A Formulation of the Simple Theory of Types. Journal of Sym- bolic Logic, 5, 56-68.10.2307/2266170]Search in Google Scholar
[Frege, G. (1903). Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet. Vol. 2. Jena: Pohle.]Search in Google Scholar
[Frege, G. (1983). Nachgelassene Schriften. 2nd ed. Hamburg: Meiner. Transl. Posthumous Writings. Oxford: Blackwell, 1979.]Search in Google Scholar
[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.]Search in Google Scholar
[Leśniewski, S. (1992). Collected Papers, Vol. II. Dordrecht: Kluwer.]Search in Google Scholar
[Pepys, S. (1971). The Diary of Samuel Pepys. Vol. I, 1660. Ed. R. Latham and W. Matthews. London: Bell & Hyman.]Search in Google Scholar
[Simons, P. M. (1988). Functional Operations in Frege’s Begriffsschrift. History and Philosophy of Logic, 9, 35-42.10.1080/01445348808837123]Search in Google Scholar
[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.]Search in Google Scholar
