Ibrahim, Rosalind L. R. A computer system for axiomatic investigation. (English) Zbl 0459.68052 Int. J. Man-Mach. Stud. 15, 179-200 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) Keywords:informal axiomatic investigation of mathematics PDFBibTeX XMLCite \textit{R. L. R. Ibrahim}, Int. J. Man-Mach. Stud. 15, 179--200 (1981; Zbl 0459.68052) Full Text: DOI