- American Mathematical Society translations ; ser. 2, v. 23
- Impossibility of an algorithm for the decision problem / B.A. Trahtenbrot -- Isomorphism of systems of recursively enumerable sets with effective properties / A.A. Mučnik -- The equivalence of normal algortihms and recursive functions / V.K. Detlovs -- Unprovability of Souslin's hypothesis without the aid of the axiom of choice in the Bernays-Mostowski axiom system / Esenin-Volʹpin -- Some remarks on recursively enumerable sets / V.A. Uspenskiĭ -- Gödel's theorem and the theory of algorithms / V.A. Uspenskiĭ -- On the constructive interpretation of mathematical judgments / N.A. Šanin -- A new proof of the consistency of arithmetic / I.N. Hlodovskiĭ -- On the mathematical foundations of quantum electrodynamics / P.K. Raševskii̊.
- Related Titles:
- Nine papers on logic and quantum electrodynamics
- Translations from Russian.
Table of contents in English and Russian.
- Bibliography Note:
- Includes bibliographical references.
View MARC record | catkey: 1584414