The model based investigation of immune mediated disorders is a complex and evolving field. We herein report about further development of the mathematical model of rheumatoid arthritis. We improved… Expand

Conditions of existence and uniqueness of a weak solution are proven for a boundary problem for the Mushtari-Donnell-Vlasov system of equations 1 Statement of the problem Let us consider the system… Expand

We consider the boundary value problem for a system of nonlinear ordinary differential equations that describes the static behavior of a plate. An approximate solution is obtained using the algorithm… Expand

Bimodal symmetric Gödel logic is embedded into an extension of (bimmodal) Gödel–Löb logic (provability logic), the language of which contains disjunction, conjunction, negation and two (conjugate) modal operators.Expand

Mathematical models of immune mediated disorders provide an analytic framework in which we can address specific questions concerning disease immune dynamics and the choice of treatment. Such models… Expand