TY  - DATA
AU  - Detlovs, V. K.,
TI  - 9 papers on logic and quantum electrodynamics
T2  - American Mathematical Society Translations: Series 2, 
SN  - 9781470432348 (online)
KW  - Logic, Symbolic and mathematicalElectrodynamics
N1  - "Published by the American Mathematical Society ... under a grant from the National Science Foundation"--Title page; Includes bibliographical references; Impossibility 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; B. 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
UR  - http://www.ams.org/trans2/023
ER  -