|
Author Index, 1967
Yu. D. Burago, V. G. Maz'ya
Certain questions of potential theory and function theory for regions with irregular boundaries
Zap. Nauchn. Sem. LOMI, 1967, Volume 3, 3–152
|
G. V. Davydov
On correction of unprovable formulae
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 18–29
|
G. V. Davydov
A proof method for the classical predicate calculus
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 8–17
|
O. Demuth
Lebesgue integral in constructive analysis
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 30–43
|
R. I. Freidson
Representation of recursive predicates by Rabin's machines
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 209–218
|
V. P. Havin, see V. G. Maz'ya
Zap. Nauchn. Sem. LOMI, 1967, Volume 5, 196–200
|
V. P. Il'in
On a class functions of several real variables
Zap. Nauchn. Sem. LOMI, 1967, Volume 5, 110–168
|
V. P. Il'in
Preface
Zap. Nauchn. Sem. LOMI, 1967, Volume 5, 5
|
A. V. Ivanov
On a global existence theorem for the first boundary value problem for a quasili-near parabolic equation
Zap. Nauchn. Sem. LOMI, 1967, Volume 5, 6–36
|
N. M. Ivochkina, A. P. Oskolkov
Global estimates for the first derivatives of the solutions of Dirichlet problem for nonuniform quasilinear elliptic equations
Zap. Nauchn. Sem. LOMI, 1967, Volume 5, 37–109
|
N. K. Kossovski
Sufficient conditions for incompleteness of formalized parts of arithmetic
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 44–57
|
O. A. Ladyzhenskaya
On the uniqueness and on the smoothness of weak solutions of the Navier–Stokes equations
Zap. Nauchn. Sem. LOMI, 1967, Volume 5, 169–185
|
O. A. Ladyzhenskaya, N. N. Ural'tseva
On some classes of nonuniform elliptic equations
Zap. Nauchn. Sem. LOMI, 1967, Volume 5, 186–191
|
V. A. Lifshits
The normal form for deductions in the predicate calculus with equality and functional symbols
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 58–64
|
V. A. Lifshits
Some reduction classes and undecidable theories
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 65–68
|
V. A. Lifshits
Deductive validity and reduction classes
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 69–77
|
V. A. Lifshits
The decision problem for some constructive theories of equality
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 78–85
|
V. A. Lifshits
On constructive groups
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 86–95
|
S. Yu. Maslov
Invertible sequential variant of intuitibnistic predicate calculus
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 96–111
|
V. G. Maz'ya
On a closure in the metric of generalized Dirichlet integral
Zap. Nauchn. Sem. LOMI, 1967, Volume 5, 192–195
|
V. G. Maz'ya, V. P. Havin
On approximation in the mean by harmonic functions
Zap. Nauchn. Sem. LOMI, 1967, Volume 5, 196–200
|
V. G. Maz'ya, see Yu. D. Burago
Zap. Nauchn. Sem. LOMI, 1967, Volume 3, 3–152
|
G. E. Mints
Choice of terms in quantifier rules of the intuitionistic pridicate calculus
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 112–122
|
G. E. Mints
Analog of the Herbrand's theorem for the intuitionistic predicate calculus
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 123–133
|
G. E. Mints
Varying of proof search tactics in sequenzen-calculi
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 134–151
|
G. E. Mints
Embedding operations related to the S. Kripke's "semantics"
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 152–159
|
G. E. Mints, V. P. Orevkov
On embedding operations
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 160–167
|
V. P. Orevkov, see G. E. Mints
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 160–167
|
V. P. Orevkov
Unsolvability in the modal predicate calculus of the class of formulas containing only one monadic predicate variable
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 168–173
|
A. P. Oskolkov, see N. M. Ivochkina
Zap. Nauchn. Sem. LOMI, 1967, Volume 5, 37–109
|
R. A. Plyushkevitchus
A sequential calculus of the constructive logic for the normal formulae without structural rules of inference
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 174–188
|
M. G. Rogava
On sequential variants of applied predicate calculi
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 189–200
|
A. O. Slisenko
On maximal regulators of continuity for constructive functions
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 201–208
|
A. O. Slisenko
Preface
Zap. Nauchn. Sem. LOMI, 1967, Volume 4, 7
|
M. Z. Solomyak
On transformators, generated by the operator Stiltjes double-integrals
Zap. Nauchn. Sem. LOMI, 1967, Volume 5, 201–231
|
A. L. Treskunov
Exact $L_p$ estimates for a class of degenerate second order equations of elliptic type
Zap. Nauchn. Sem. LOMI, 1967, Volume 5, 232–249
|
N. N. Ural'tseva, see O. A. Ladyzhenskaya
Zap. Nauchn. Sem. LOMI, 1967, Volume 5, 186–191
|
N. N. Ural'tseva
On impossibility of $W_q^2$-estimates for the elliptic equations in several variables with discontinuous coefficients
Zap. Nauchn. Sem. LOMI, 1967, Volume 5, 250–254
|
V. A. Zalgaller
Convex polyhedra with regular faces
Zap. Nauchn. Sem. LOMI, 1967, Volume 2, 5–221
|
|
|
Contact us: