I. A. Lavrov, “The effective non-separability of the set of identically true formulae and the set of finitely refutable formulae for certain elementary theories”, Algebra i Logika. Sem., 1963, Volume 2, Number 1,Pages <nobr>5

JOURNALS // Algebra i logika // Archive

Algebra i Logika. Sem., 1963 Volume 2, Number 1, Pages 5–18 (Mi al974)

This article is cited in 8 papers

The effective non-separability of the set of identically true formulae and the set of finitely refutable formulae for certain elementary theories

I. A. Lavrov

Received: 26.01.1963

Fulltext: PDF file (630 kB)
Cited by

Bibliographic databases: