Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
Please make all selections above before adding to cart
Five Papers on Logic and Foundations
| eBook ISBN: | 978-1-4704-3310-9 |
| Product Code: | TRANS2/99.E |
| List Price: | $165.00 |
| MAA Member Price: | $148.50 |
| AMS Member Price: | $132.00 |
Click above image for expanded view
Five Papers on Logic and Foundations
| eBook ISBN: | 978-1-4704-3310-9 |
| Product Code: | TRANS2/99.E |
| List Price: | $165.00 |
| MAA Member Price: | $148.50 |
| AMS Member Price: | $132.00 |
-
Book DetailsAmerican Mathematical Society Translations - Series 2Volume: 99; 1972; 275 ppMSC: Primary 03
-
Table of Contents
-
Articles
-
G. S. Ceĭtin — A method of presenting the theory of algorithms and enumerable sets
-
N. N. Vorob′ev — A constructive calculus of statements with strong negation
-
A. V. Idel′son — Calculi of constructive logic with subordinate variables
-
I. D. Zaslavskiĭ and G. S. Ceĭtin — Concerning a generalized principle of constructive selection
-
N. A. Šanin — Concerning the constructive interpretation of auxiliary formulas. I
-
-
RequestsReview Copy – for publishers of book reviewsPermission – for use of book, eBook, or Journal contentAccessibility – to request an alternate format of an AMS title
- Book Details
- Table of Contents
- Requests
-
Articles
-
G. S. Ceĭtin — A method of presenting the theory of algorithms and enumerable sets
-
N. N. Vorob′ev — A constructive calculus of statements with strong negation
-
A. V. Idel′son — Calculi of constructive logic with subordinate variables
-
I. D. Zaslavskiĭ and G. S. Ceĭtin — Concerning a generalized principle of constructive selection
-
N. A. Šanin — Concerning the constructive interpretation of auxiliary formulas. I
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.