Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1971_198_5_a6, author = {B. Z. Moroz}, title = {Formal systems arising in analysis of physical theories}, journal = {Doklady Akademii Nauk}, pages = {1018--1020}, publisher = {mathdoc}, volume = {198}, number = {5}, year = {1971}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1971_198_5_a6/} }
B. Z. Moroz. Formal systems arising in analysis of physical theories. Doklady Akademii Nauk, Tome 198 (1971) no. 5, pp. 1018-1020. http://geodesic.mathdoc.fr/item/DAN_1971_198_5_a6/