Five papers on logic and foundations, by G. S. Ceitin [and others] Series 2, volume 99
Material type:![Computer file](/opac-tmpl/lib/famfamfam/CF.png)
Item type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
Link to resource | Accessible Online | EBK20753 |
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
There are no comments on this title.