H. P. Grice and all "the strokes"

• Béziau, Jean-Yves. 2001. “Sequents and Bivaluations”, Logique et Analyse 176, pp. 373-94.
• Bimbó, Katalin. 2010. “Schöfinkel-Type Operators for Classical Logic”, Studia Logica 95: 355-78.
• Church, Alonzo. 1996. Introduction to Mathematical Logic, revised and enlarged edition,
  Princeton: Princeton University Press.
• Church, Alonzo. 1953. “Review of Sobociński (1953), Journal of Symbolic Logic 18: 284-85.
• Geach, P. T. 1981. “Wittgenstein’s Operator N”, Analysis 41: 168-71.
• Goodell, John D. and Tenny Lode. 1953. “Decision Elements”, Journal of Symbolic Logic 18:
  283-84.
• Hilbert, D., and W. Ackermann. 1928. Grundzüge der theoretischen Logik. Berlin: Springer.
• Houser, N., Roberts, Don D., and Van Evra, James (eds.). 1997. Studies in the Logic of Charles Sanders Peirce. Bloomington, IN: Indiana University Press.
• Nicod, Jean G. P. 1917. “A Reduction in the Number of Primitives Propositions of Logic”, Proceedings of the Cambridge Philosophical Society 19: 32-41.
• Peirce, Charles S. 1931-1966. Collected Papers of Charles Sanders Peirce. 8 volumes, ed. by
  Hartshorne, C, Weiss, P. and Burks, A. W.. Cambridge, MA: Harvard University Press.
• Peirce, Charles S. 1967. “Annotated Catalogue of the Papers of Charles S. Peirce”,
  Manuscripts in the Houghton Library of Harvard University, as identified by Richard
  Robin. Amherst: University of Massachusetts Press.
• Peirce, Charles, S. 1971. “The Peirce Papers: A supplementary catalogue”, Transactions of
  the C. S. Peirce Society 7: 37–57.
• Pelletier, Jeffrey Francis and Norman M. Martin. 1990. “Post’s Functional Completeness
  Theorem”, Notre Dame Journal of Formal Logic 31: 462-75.
• Post, Emil L. 1921. “Introduction to a General Theory of Elementary Propositions”, American Journal of Mathematics 43: 163-85.
• Post, Emil L. 1941. The Two-Valued Iterative Systems of Mathematical Logic, vol. 5 of Annals of Mathematical Studies, Princeton: Princeton University Press.
• Prior, Arthur N. 1962. Formal Logic. Oxford: Clarendon Press.
• Quine, Willard Van O. 1995. Selected Logic Papers, enlarged edition, Cambridge, MA:
  Harvard University Press.
• Read, Steven. 1999. “Sheffer’s Stroke: A Study in Proof-Theoretic Harmony”, Danish
  Yearbook of Philosophy 34: 7-24.
• Riser, John. 1967. “A Gentzen-Type Calculus for Sequents for Single-Operator Propositional
  Logic”, The Journal of Symbolic Logic 32: 75-80.
• Sheffer, H. M. 1913. “A Set of Five Independent Postulates for Boolean Algebras, with
  Application to Logical Constants”, Transactions of the American Mathematical Society 14: 481-88.
• Soames, Scott. 1983. “Generality, Truth Functions, and Expressive Capacity in the Tractatus”, The Philosophical Review 92: 573-89.
• Sobociński, Bolesław, 1953. “On a Universal Decision Element”, Journal of Computing Systems 1: 71-80.
• Wernick, William. 1942. “Complete Sets of Logical Functions”, Transactions of the American
  Mathematical Society 51: 117-32.
• Whitehead, Alfred and Bertrand Russell. 1910, 1912, 1913. Principia Mathematica, 3
  volumes. Cambridge: Cambridge University Press; 1925, 1927. Principia Mathematica, second edition, 2 volumes, Cambridge: Cambridge University Press.
• Wittgenstein, Ludwig. 1922. Tractatus Logico-Philosophicus, tr. C.K. Ogden. London:
  Routledge & Kegan Paul.