Negation-free and contradiction-free proof of the Steiner-Lehmus theorem

From MaRDI portal
Publication:1704083

DOI10.1215/00294527-2017-0019zbMath1455.03076OpenAlexW2752004485MaRDI QIDQ1704083

Victor V. Pambuccian

Publication date: 8 March 2018

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1504252824




Related Items (4)


Uses Software



Cites Work




This page was built for publication: Negation-free and contradiction-free proof of the Steiner-Lehmus theorem