The problem of separability in propositional calculi

Moscow

258 pp.

The problem of separability in propositional calculi — Khomich, Valentin Ivanovich — 1995 — Russian Dissertation Library