Studies in Constructive Mathematics and Mathematical Logic

Part I

  • Editors
  • A. O. Slisenko

Part of the Seminars in Mathematics book series (SM, volume 4)

Table of contents

  1. Front Matter
    Pages i-viii
  2. V. A. Lifshits
    Pages 26-28
  3. V. A. Lifshits
    Pages 32-35
  4. G. E. Mints, V. P. Orevkov
    Pages 64-66

About this book


Calc Logic Mint Volume boundary element method calculus equality function integral mathematical logic mathematics proof reporting semantics theorem

Bibliographic information