@Article{         Lukasiewicz:1948,
  Author        = "{\L}ukasiewicz, Jan",
  date-added    = "2023-03-28 18:57:15 +0200",
  date-modified = "2023-03-28 18:58:18 +0200",
  ISSN          = "00358975",
  Journal       = "Proceedings of the Royal Irish Academy. Section A: Mathematical and Physical Sciences",
  Pages         = "25--33",
  Publisher     = "Royal Irish Academy",
  Title         = "The Shortest Axiom of the Implicational Calculus of Propositions",
  URL           = "http://www.jstor.org/stable/20488489",
  URLDate       = "2023-03-28",
  Volume        = "52",
  Year          = "1948",
  bdsk-url-1    = "http://www.jstor.org/stable/20488489",
  File          = "The Shortest Axiom of the Implicational Calculus of Propositions - 10.2307@20488489 - a.pdf"
}

@Article{ Lukasiewicz:1948, Author = "{\L}ukasiewicz, Jan", date-added = "2023-03-28 18:57:15 +0200", date-modified = "2023-03-28 18:58:18 +0200", ISSN = "00358975", Journal = "Proceedings of the Royal Irish Academy. Section A: Mathematical and Physical Sciences", Pages = "25--33", Publisher = "Royal Irish Academy", Title = "The Shortest Axiom of the Implicational Calculus of Propositions", URL = "http://www.jstor.org/stable/20488489", URLDate = "2023-03-28", Volume = "52", Year = "1948", bdsk-url-1 = "http://www.jstor.org/stable/20488489", File = "The Shortest Axiom of the Implicational Calculus of Propositions - 10.2307@20488489 - a.pdf" }