Thomas, Ivo A proof of a theorem of Lukasiewicz. (English) Zbl 0205.30303 Notre Dame J. Formal Logic 12, 507-508 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03B05 Classical propositional logic PDFBibTeX XMLCite \textit{I. Thomas}, Notre Dame J. Formal Logic 12, 507--508 (1971; Zbl 0205.30303) Full Text: DOI