A. I. Mal'tsev, “Effective inseparability of a set of identically true formulae from a set of finitely refutable ones in some elementary theories”, Dokl. Akad. Nauk SSSR, 1961, Volume 139, Number 4,Pages <nobr>802

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1961 Volume 139, Number 4, Pages 802–805 (Mi dan25328)

This article is cited in 1 paper

MATHEMATICS

Effective inseparability of a set of identically true formulae from a set of finitely refutable ones in some elementary theories

A. I. Mal'tsev

Received: 17.04.1961

Fulltext: PDF file (576 kB)
Cited by

Bibliographic databases: