×

An extension of the inverse method to axiomatic theories with equality. (Russian) Zbl 0347.68049

MSC:

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03B10 Classical first-order logic
PDFBibTeX XMLCite
Full Text: EuDML