Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus.

zbMath62.1045.08MaRDI QIDQ2610709

Ingebrigt Johansson

Publication date: 1936

Published in: Compositio Mathematica (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/88648