On realizable and fulfillable logical-arithmetical formulae
Doklady Akademii Nauk, Tome 157 (1964) no. 3, pp. 529-531
Cet article a éte moissonné depuis la source Math-Net.Ru
@article{DAN_1964_157_3_a8,
author = {N. M. Nagornyi},
title = {On realizable and fulfillable logical-arithmetical formulae},
journal = {Doklady Akademii Nauk},
pages = {529--531},
year = {1964},
volume = {157},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1964_157_3_a8/}
}
N. M. Nagornyi. On realizable and fulfillable logical-arithmetical formulae. Doklady Akademii Nauk, Tome 157 (1964) no. 3, pp. 529-531. http://geodesic.mathdoc.fr/item/DAN_1964_157_3_a8/