Formal Systems of Intuitionistic Analysis I
- 1 January 1968
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- ber Definitionsbereiche von- FunktionenMathematische Annalen, 1927
- Virtuelle Ordnung und unerweiterbare Ordnung.Journal für die reine und angewandte Mathematik (Crelles Journal), 1927
- Zur Begr ndung der intuitionistischen Mathematik. I.Mathematische Annalen, 1925