Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
OK
Please make all selections above before adding to cart
OK
Share this page via the icons above, or by copying the link below:
Copy To Clipboard
Successfully Copied!
Nine Papers on Logic and Quantum Electrodynamics
 
Nine Papers on Logic and Quantum Electrodynamics
Hardcover ISBN:  978-0-8218-1723-0
Product Code:  TRANS2/23
List Price: $175.00
MAA Member Price: $157.50
AMS Member Price: $140.00
eBook ISBN:  978-1-4704-3234-8
Product Code:  TRANS2/23.E
List Price: $165.00
MAA Member Price: $148.50
AMS Member Price: $132.00
Hardcover ISBN:  978-0-8218-1723-0
eBook: ISBN:  978-1-4704-3234-8
Product Code:  TRANS2/23.B
List Price: $340.00 $257.50
MAA Member Price: $306.00 $231.75
AMS Member Price: $272.00 $206.00
Nine Papers on Logic and Quantum Electrodynamics
Click above image for expanded view
Nine Papers on Logic and Quantum Electrodynamics
Hardcover ISBN:  978-0-8218-1723-0
Product Code:  TRANS2/23
List Price: $175.00
MAA Member Price: $157.50
AMS Member Price: $140.00
eBook ISBN:  978-1-4704-3234-8
Product Code:  TRANS2/23.E
List Price: $165.00
MAA Member Price: $148.50
AMS Member Price: $132.00
Hardcover ISBN:  978-0-8218-1723-0
eBook ISBN:  978-1-4704-3234-8
Product Code:  TRANS2/23.B
List Price: $340.00 $257.50
MAA Member Price: $306.00 $231.75
AMS Member Price: $272.00 $206.00
  • Book Details
     
     
    American Mathematical Society Translations - Series 2
    Volume: 231963; 335 pp
    MSC: Primary 03
  • Table of Contents
     
     
    • Articles
    • B. A. Trahtenbrot — Impossibility of an algorithm for the decision problem in finite classes
    • A. A. Mučnik — Isomorphism of systems of recursively enumerable sets with effective properties
    • V. K. Detlovs — The equivalence of normal algorithms and recursive functions
    • A. S. Esenin-Vol′pin — Unprovability of Souslin’s hypothesis without the aid of the axiom of choice in the Bernays-Mostowski axiom system
    • V. A. Uspenskiĭ — Some remarks on recursively enumerable sets
    • V. A. Uspenskiĭ — Gödel’s theorem and the theory of algorithms
    • N. A. Šanin — On the constructive interpretation of mathematical judgments
    • I. N. Hlodovskiĭ — A new proof of the consistency of arithmetic
    • P. K. Raševskiĭ — On the mathematical foundations of quantum electrodynamics
  • Requests
     
     
    Review Copy – for publishers of book reviews
    Permission – for use of book, eBook, or Journal content
    Accessibility – to request an alternate format of an AMS title
Volume: 231963; 335 pp
MSC: Primary 03
  • Articles
  • B. A. Trahtenbrot — Impossibility of an algorithm for the decision problem in finite classes
  • A. A. Mučnik — Isomorphism of systems of recursively enumerable sets with effective properties
  • V. K. Detlovs — The equivalence of normal algorithms and recursive functions
  • A. S. Esenin-Vol′pin — Unprovability of Souslin’s hypothesis without the aid of the axiom of choice in the Bernays-Mostowski axiom system
  • V. A. Uspenskiĭ — Some remarks on recursively enumerable sets
  • V. A. Uspenskiĭ — Gödel’s theorem and the theory of algorithms
  • N. A. Šanin — On the constructive interpretation of mathematical judgments
  • I. N. Hlodovskiĭ — A new proof of the consistency of arithmetic
  • P. K. Raševskiĭ — On the mathematical foundations of quantum electrodynamics
Review Copy – for publishers of book reviews
Permission – for use of book, eBook, or Journal content
Accessibility – to request an alternate format of an AMS title
Please select which format for which you are requesting permissions.