000 01799nmm a2200157Ia 4500
008 230301s9999||||xx |||||||||||||||||und||
020 _a9781470432409 (online)
245 0 _a12 papers on logic and differential equations /
_cauthors, I.M. Gel�fand [and others].
_hSeries 2, volume 29
300 _a1 online resource (1 online resource (iv, 358 pages) : illustrations.)
490 _aAmerican Mathematical Society Translations: Series 2,
504 _aIncludes bibliographical references.
505 _tOn undecidable sentences in formalized mathematical systems /; On the consistency of some propositions of the descriptive theory of sets /; Some generalizations of the concept of a normal algorithm /; On a minimal alphabet of algorithms over a given alphabet /; On constructive functions /; Solution of Post's reduction problem and some other problems of the theory of algorithms. I /; On the definition of an algorithm /; Solution of a problem of Halmos (concept of a recurrent numerical sequence) /; The equations and convergence of a differential-difference method (the method of lines) /; On the converses of Ljapunov's theorem on stability and Persidski�i's theorem on uniform stability /; On the number of limit cycles of the equation
_\frac {dy}{dx} =\frac {cx+dy+P(x,y)} {ax+by+Q(x,y)}
_, where
_P(x, y)
_ and
_Q(x, y)
_ are homogeneous polynomials of degree
_n
_ /; Some problems in the theory of quasilinear equations /
_rAndrzej Mostowski; P. S. Novikov; N. M. Nagornyi; N. M. Nagornyi; A. A. Markov; A. A. Mucnik; A. N. Kolmogorov and V. A. Uspenskii; F. V. Sirokov; V. I. Lebedev; Jaroslav Kurzweil and Ivo Vrkoc; B. M. Peretjagin; I. M. Gelfand
650 _aLogicDifferential equations
700 _aGelfand, I. M.
856 _uhttp://www.ams.org/trans2/029
999 _c28096
_d28096