Johansson, Ingebrigt Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus. (German) Zbl 0015.24102 Compos. Math. 4, 119-136 (1936). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 ReviewsCited in 24 Documents Keywords:Foundations, philosophy, logic PDFBibTeX XMLCite \textit{I. Johansson}, Compos. Math. 4, 119--136 (1936; Zbl 0015.24102) Full Text: Numdam EuDML