M. A. Taitslin, “The effective non-separability of the set of identically true formulae and the set of finitely refutable formulae in the elementary theory of lattices”, Algebra i Logika. Sem., 1962, Volume 1, Number 3,Pages <nobr>24

JOURNALS // Algebra i logika // Archive

Algebra i Logika. Sem., 1962 Volume 1, Number 3, Pages 24–38 (Mi al958)

The effective non-separability of the set of identically true formulae and the set of finitely refutable formulae in the elementary theory of lattices

M. A. Taitslin

Received: 14.05.1962

Fulltext: PDF file (852 kB)

Bibliographic databases: