Studies in Constructive Mathematics and Mathematical Logic : Part I / edited by A.O. Slisenko.

This volume contains a number of short papers reporting results presented to the Leningrad Seminar on Constructive Mathematics or to the Leningrad Seminar on Mathematical Logic. As a rule, the notes do not contain detailed proofs. Complete explanations will be printed in the Trudy (Transac tions) of...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Slisenko, A. O.
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 1969.
Series:	Seminars in mathematics ; 4.
Subjects:	Science.