Five papers on logic and foundations, Series 2, volume 99
by G. S. Ceitin [and others]
- Providence, R.I., American Mathematical Society, 1972
- 1 online resource (iii, 275 p.)
- American Mathematical Society Translations: Series 2, .
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
9781470433109 (online)
Logic, Symbolic and mathematicalConstructive mathematics
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
9781470433109 (online)
Logic, Symbolic and mathematicalConstructive mathematics