TY  - DATA
TI  - Five papers on logic and foundations,
T2  - American Mathematical Society Translations: Series 2, 
SN  - 9781470433109 (online)
PY  - 1972///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Logic, Symbolic and mathematicalConstructive mathematics
N1  - Includes bibliographies; A method of presenting the theory of algorithms and enumerable sets /;   A constructive calculus of statements with strong negation /;   Calculi of constructive logic with subordinate variables /;   Concerning a generalized principle of constructive selection /;   Concerning the constructive interpretation of auxiliary formulas. I; G. S. Ceitin; N. N. Vorobev; A. V. Idelson; I. D. Zaslavskii and G. S. Ceitin; N. A. Sanin
UR  - http://www.ams.org/trans2/099
ER  -