Five papers on logic and foundations
By: by G. S. Ceitin [and others]
Series: American Mathematical Society. Translations,; ser 2, v. 99; American Mathematical Society translations ;; ser. 2, v. 99.
Publisher: American Mathematical Society
Published: 1972
Place of publication: Providence, R.I
Language: eng
Number of pages: 275
Subjects: Logic, Symbolic and mathematical -- Addresses, essays, lectures.; Constructive mathematics -- Addresses, essays, lectures.
Notes: Includes bibliographies.