| 000 | 01047nmm a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230301s9999||||xx |||||||||||||||||und|| | ||
| 020 | _a9781470433109 (online) | ||
| 245 | 0 |
_aFive papers on logic and foundations, _cby G. S. Ceitin [and others] _hSeries 2, volume 99 |
|
| 260 |
_aProvidence, R.I., _bAmerican Mathematical Society, _c1972 |
||
| 300 | _a1 online resource (iii, 275 p.) | ||
| 490 | _aAmerican Mathematical Society Translations: Series 2, | ||
| 504 | _aIncludes bibliographies. | ||
| 505 |
_tA 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 / _rG. S. Ceitin; N. N. Vorobev; A. V. Idelson; I. D. Zaslavskii and G. S. Ceitin; N. A. Sanin |
||
| 650 | _aLogic, Symbolic and mathematicalConstructive mathematics | ||
| 856 | _uhttp://www.ams.org/trans2/099 | ||
| 999 |
_c28166 _d28166 |
||