RUS  ENG
Full version
JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1964 Volume 157, Number 3, Pages 529–531 (Mi dan29872)

MATHEMATICS

On realizable and fulfillable logical-arithmetical formulae

N. M. Nagornyi

Computing Centre, USSR Academy of Sciences

Presented: P. S. Novikov
Received: 05.02.1964



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2026