Five papers on logic and foundations, by G. S. Ceitin [and others] Series 2, volume 99

Material type: Computer fileComputer fileSeries: American Mathematical Society Translations: Series 2Publication details: Providence, R.I., American Mathematical Society, 1972Description: 1 online resource (iii, 275 p.)ISBN: 9781470433109 (online)Subject(s): Logic, Symbolic and mathematicalConstructive mathematicsOnline resources: Click here to access online
Contents:
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
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Call number URL Status Date due Barcode Item holds
electronic book electronic book
Link to resource Accessible Online EBK20753
Total holds: 0

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.

to post a comment.