Pljuskevicene, A. Ju. An extension of the inverse method to axiomatic theories with equality. (Russian) Zbl 0347.68049 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 32, 108-115 (1973). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) 03B10 Classical first-order logic PDFBibTeX XMLCite \textit{A. Ju. Pljuskevicene}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 32, 108--115 (1973; Zbl 0347.68049) Full Text: EuDML