RUS
ENG
Full version
JOURNALS
// Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika
// Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh.,
1991
Number 3,
Pages
7–12
(Mi vmumm2523)
Mathematics
Diagnostic propositional formulas
V. A. Uspenskii
,
V. E. Plisko
UDC:
510.642
Received:
12.03.1990
Fulltext:
PDF file (910 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (910 kB)