Minimalkalkül, ein reduzierter intuitionistischer Formalismus (1936)

by Der
Venue:Compositio Matematica