記錄 8 之 804
Record:   Prev Next
書名 9 papers on logic and quantum electrodynamics / [electronic resource] authors, Detlovs, V. K. [and others]
出版項 Providence, Rhode Island : American Mathematical Society, 1963
國際標準書號 9781470432348 (online)
book jacket
說明 1 online resource (1 online resource (iii, 335 pages).)
text rdacontent
computer rdamedia
online resource rdacarrier
系列 American Mathematical Society Translations: Series 2, 0065-9290 (print); 2472-3193 (online); v. 23
American Mathematical Society translations ; ser. 2, v. 23
附註 "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 / B. A. Trahtenbrot -- http://www.ams.org/trans2/023 http://dx.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 http://dx.doi.org/10.1090/trans2/023/02 The equivalence of normal algorithms and recursive functions / V. K. Detlovs -- http://www.ams.org/trans2/023 http://dx.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 http://dx.doi.org/10.1090/trans2/023/04 Some remarks on recursively enumerable sets / V. A. Uspenskiĭ -- http://www.ams.org/trans2/023 http://dx.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 http://dx.doi.org/10.1090/trans2/023/06 On the constructive interpretation of mathematical judgments / N. A. Šanin -- http://www.ams.org/trans2/023 http://dx.doi.org/10.1090/trans2/023/07 A new proof of the consistency of arithmetic / I. N. Hlodovskiĭ -- http://www.ams.org/trans2/023 http://dx.doi.org/10.1090/trans2/023/08 On the mathematical foundations of quantum electrodynamics / P. K. Raševskiĭ -- http://www.ams.org/trans2/023 http://dx.doi.org/10.1090/trans2/023/09
Access is restricted to licensed institutions
Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012
Mode of access : World Wide Web
Translated from Russian
Description based on print version record
主題 Logic, Symbolic and mathematical
Electrodynamics
Electronic books
Alt Author Detlovs, V. K., author
American Mathematical Society, issuing body
Alt Title Nine papers on logic and quantum electrodynamics
Logic and quantum electrodynamics
記錄 8 之 804
Record:   Prev Next