Minimalkalkül, ein reduzierter intuitionistischer Formalismus (1937)

by Der
Venue:Compos. Math