9 papers on logic and quantum electrodynamics
By: authors, V.K. Detlovs ... [et al.].
Contributors: Detlovs, V. K.; American Mathematical Society.
Series: American Mathematical Society translations -- ser. 2, v. 23
Publisher: American Mathematical Society
Published: 1963
Place of publication: Providence, R.I
Language: eng
Number of pages: 335
Subjects: Logic.; Quantum electrodynamics.
Other titles: Nine papers on logic and quantum electrodynamics.; Logic.; Quantum electrodynamics.
Notes: Translations from Russian.

Table of contents in English and Russian.

Includes bibliographical references.
Table of contents: value: Impossibility of an algorithm for the decision problem / B.A. Trahtenbrot; value: Isomorphism of systems of recursively enumerable sets with effective properties / A.A. Mučnik; value: The equivalence of normal algortihms and recursive functions / V.K. Detlovs; value: Unprovability of Souslin's hypothesis without the aid of the axiom of choice in the Bernays-Mostowski axiom system / Esenin-Volʹpin; value: Some remarks on recursively enumerable sets / V.A. Uspenskiĭ; value: Gödel's theorem and the theory of algorithms / V.A. Uspenskiĭ; value: On the constructive interpretation of mathematical judgments / N.A. Šanin; value: A new proof of the consistency of arithmetic / I.N. Hlodovskiĭ; value: On the mathematical foundations of quantum electrodynamics / P.K. Raševskii̊.