000			01538nmm a2200169Ia 4500
008			230301s9999||||xx |||||||||||||||||und||
020			_a9781470432348 (online)
245		0	_a9 papers on logic and quantum electrodynamics / _cauthors, Detlovs, V. K. [and others]. _hSeries 2, volume 23
300			_a1 online resource (1 online resource (iii, 335 pages).)
490			_aAmerican Mathematical Society Translations: Series 2,
500			_a"Published by the American Mathematical Society ... under a grant from the National Science Foundation"--Title page.
504			_aIncludes bibliographical references.
505			_tImpossibility of an algorithm for the decision problem in finite classes /; Isomorphism of systems of recursively enumerable sets with effective properties /; The equivalence of normal algorithms and recursive functions /; Unprovability of Souslin's hypothesis without the aid of the axiom of choice in the Bernays-Mostowski axiom system /; Some remarks on recursively enumerable sets /; G�odel's theorem and the theory of algorithms /; On the constructive interpretation of mathematical judgments /; A new proof of the consistency of arithmetic /; On the mathematical foundations of quantum electrodynamics / _rB. A. Trahtenbrot; A. A. Mucnik; V. K. Detlovs; A. S. Esenin-Volpin; V. A. Uspenskii; V. A. Uspenskii; N. A. Sanin; I. N. Hlodovskii; P. K. Rasevskii
650			_aLogic, Symbolic and mathematicalElectrodynamics
700			_aDetlovs, V. K.,
856			_uhttp://www.ams.org/trans2/023
999			_c28090 _d28090