Abeles, Francine F. Toward a visual proof system: Lewis Carroll’s method of trees. (English) Zbl 1267.01028 Log. Univers. 6, No. 3-4, 521-534 (2012). Reviewer: Reinhard Kahle (Lisboa) MSC: 01A55 03-03 03F03 PDFBibTeX XMLCite \textit{F. F. Abeles}, Log. Univers. 6, No. 3--4, 521--534 (2012; Zbl 1267.01028) Full Text: DOI
Abeles, Francine F. Lewis Carroll’s visual logic. (English) Zbl 1117.03002 Hist. Philos. Log. 28, No. 1, 1-17 (2007). MSC: 03-03 01A55 PDFBibTeX XMLCite \textit{F. F. Abeles}, Hist. Philos. Log. 28, No. 1, 1--17 (2007; Zbl 1117.03002) Full Text: DOI