Tautologies and positive solvability of linear homogeneous systems

Annals of Pure and Applied Logic · 1992 · 12 citations · 0 references