Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus.

zbMATH Open62.1045.08MaRDI QIDQ2610709FDOQ2610709

Authors: Ingebrigt Johansson 

Publication date: 1936

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

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

Cited In (1)

• Pretabularity and Craig's interpolation problem over the minimal logic

This page was built for publication: Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2610709)