9 papers on logic and quantum electrodynamics / (Record no. 28090)

000 -LEADER
fixed length control field 01538nmm a2200169Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230301s9999||||xx |||||||||||||||||und||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781470432348 (online)
245 #0 - TITLE STATEMENT
Title 9 papers on logic and quantum electrodynamics /
Statement of responsibility, etc. authors, Detlovs, V. K. [and others].
Medium Series 2, volume 23
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (1 online resource (iii, 335 pages).)
490 ## - SERIES STATEMENT
Series statement American Mathematical Society Translations: Series 2,
500 ## - GENERAL NOTE
General note "Published by the American Mathematical Society ... under a grant from the National Science Foundation"--Title page.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references.
505 ## - FORMATTED CONTENTS NOTE
Title 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 /
Statement of responsibility 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
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematicalElectrodynamics
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Detlovs, V. K.,
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://www.ams.org/trans2/023">http://www.ams.org/trans2/023</a>
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Date acquired Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
      Accessible Online ICTS 03/01/2023 EBK20677 03/01/2023 https://doi.org/10.1090/trans2/023 03/01/2023 electronic book