Publication:3485886
From MaRDI portal
zbMath0705.68092MaRDI QIDQ3485886
Zbigniew Stachniak, Peter W. O'Hearn
Publication date: 1990
03B35: Mechanization of proofs and logical operations
Related Items
An essay on resolution logics, A resolution framework for finitely-valued first-order logics, Resolution approximation of first-order logics