Rybak, Janet; Rybak, John Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer. (English) Zbl 0554.03009 Notre Dame J. Formal Logic 25, 265-282 (1984). Reviewer: V.Calmatuianu MSC: 03B35 03B05 03-04 PDFBibTeX XMLCite \textit{J. Rybak} and \textit{J. Rybak}, Notre Dame J. Formal Logic 25, 265--282 (1984; Zbl 0554.03009) Full Text: DOI
Rybak, John; Rybak, Janet Mechanizing logic. I: Map logic extended formally to relational arguments. (English) Zbl 0554.03008 Notre Dame J. Formal Logic 25, 250-264 (1984). Reviewer: V.Calmatuianu MSC: 03B35 03B05 PDFBibTeX XMLCite \textit{J. Rybak} and \textit{J. Rybak}, Notre Dame J. Formal Logic 25, 250--264 (1984; Zbl 0554.03008) Full Text: DOI