9 papers on logic and quantum electrodynamics / authors, Detlovs, V. K. [and others]. Series 2, volume 23
Material type:![Computer file](/opac-tmpl/lib/famfamfam/CF.png)
Item type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
Link to resource | Accessible Online | EBK20677 |
"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
There are no comments on this title.