Review: A. I. Mal'cev, Effective Inseparability of the Set of Identically True from the Set of Finitely Refutable Formulae of Certan Elementary Theories
Dyson, Verena H.
J. Symbolic Logic, Tome 30 (1965) no. 1, p. 394-395 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1965-09-14
Classification:  
@article{1183735236,
     author = {Dyson, Verena H.},
     title = {Review: A. I. Mal'cev, Effective Inseparability of the Set of Identically True from the Set of Finitely Refutable Formulae of Certan Elementary Theories},
     journal = {J. Symbolic Logic},
     volume = {30},
     number = {1},
     year = {1965},
     pages = { 394-395},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183735236}
}

Dyson, Verena H. Review: A. I. Mal'cev, Effective Inseparability of the Set of Identically True from the Set of Finitely Refutable Formulae of Certan Elementary Theories. J. Symbolic Logic, Tome 30 (1965) no. 1, pp.  394-395. http://gdmltest.u-ga.fr/item/1183735236/