Problems of completeness in extensions of intuitionistic logic defined by finite lattices

Kishinev

105 pp.

Problems of completeness in extensions of intuitionistic logic defined by finite lattices — Ghaliekh, Yaerob Nasim — 1992 — Russian Dissertation Library