TY  - JOUR
AU  - S. Yu. Maslov
AU  - G. E. Mints
AU  - V. P. Orevkov
TI  - Insolvability in the constructive calculus of predicates of certain classes of formulae containing only one-place predicate variables
JO  - Doklady Akademii Nauk
PY  - 1965
SP  - 295
EP  - 297
VL  - 163
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1965_163_2_a5/
LA  - ru
ID  - DAN_1965_163_2_a5
ER  -