9 papers on logic and quantum electrodynamics / authors, Detlovs, V. K. [and others].

Format:

Book

Author/Creator:

Detlovs, V. K., author.

Contributor:

American Mathematical Society, issuing body.

Series:

American Mathematical Society translations ; ser. 2, v. 23.

American Mathematical Society Translations: Series 2, 2472-3193 ; v. 23

Language:

English

Russian

Subjects (All):

Logic, Symbolic and mathematical.

Electrodynamics.

Genre:

Electronic books.

Physical Description:

1 online resource (1 online resource (iii, 335 pages).)

Other Title:

Nine papers on logic and quantum electrodynamics

Logic and quantum electrodynamics

Place of Publication:

Providence, Rhode Island : American Mathematical Society, 1963.

Language Note:

Translated from Russian.

System Details:

Mode of access : World Wide Web

Contents:

Impossibility of an algorithm for the decision problem in finite classes / B. A. Trahtenbrot

http://www.ams.org/trans2/023 https://doi.org/10.1090/trans2/023/01 Isomorphism of systems of recursively enumerable sets with effective properties / A. A. Mučnik

http://www.ams.org/trans2/023 https://doi.org/10.1090/trans2/023/02 The equivalence of normal algorithms and recursive functions / V. K. Detlovs

http://www.ams.org/trans2/023 https://doi.org/10.1090/trans2/023/03 Unprovability of Souslin's hypothesis without the aid of the axiom of choice in the Bernays-Mostowski axiom system / A. S. Esenin-Volpin

http://www.ams.org/trans2/023 https://doi.org/10.1090/trans2/023/04 Some remarks on recursively enumerable sets / V. A. Uspenskiĭ

http://www.ams.org/trans2/023 https://doi.org/10.1090/trans2/023/05 Gödel's theorem and the theory of algorithms / V. A. Uspenskiĭ

http://www.ams.org/trans2/023 https://doi.org/10.1090/trans2/023/06 On the constructive interpretation of mathematical judgments / N. A. Šanin

http://www.ams.org/trans2/023 https://doi.org/10.1090/trans2/023/07 A new proof of the consistency of arithmetic / I. N. Hlodovskiĭ

http://www.ams.org/trans2/023 https://doi.org/10.1090/trans2/023/08 On the mathematical foundations of quantum electrodynamics / P. K. Raševskiĭ

http://www.ams.org/trans2/023 https://doi.org/10.1090/trans2/023/09

Notes:

"Published by the American Mathematical Society ... under a grant from the National Science Foundation"--Title page.

Includes bibliographical references.

Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012

Description based on print version record.

ISBN:

9781470432348 (online)

Access Restriction:

Restricted for use by site license.