- Johansson,
Ingebrigt (1937). "Der Minimalkalkül, ein
reduzierter intuitionistischer Formalismus".
Compositio Mathematica (in German). 4: 119–136. Mendelson...
- S2CID 117444881. –
Published by Paul Bernays. "Über das Verhältnis
zwischen intuitionistischer und kl****ischer Arithmetik".
Archiv für
mathematische Logik und Grundlagenforschung...
- formulas."
Gentzen 1934, p. 194, wrote: "Der
Unterschied zwischen intuitionistischer und kl****ischer
Logik ist bei den Kalkülen LJ und LK äußerlich ganz...
-
Ingebrigt Johansson (1937). "Der Minimalkalkül, ein
reduzierter intuitionistischer Formalismus".
Compositio Mathematica (in German). 4: 119–136. Bjørn...
-
Proof Theory, Springer-Verlag 1977 Vollständige
Systeme modaler und
intuitionistischer Logik,
Springer 1968 with
Wilfried Buchholz:
Proof Theory of Impredicative...
- Johansson,
Ingebrigt (1937). "Der Minimalkalkül, ein
reduzierter intuitionistischer Formalismus".
Compositio Mathematica (in German). 4: 119–136. Sørensen...
- Johansson,
Ingebrigt (1937). "Der Minimalkalkül, ein
reduzierter intuitionistischer Formalismus".
Compositio Mathematica (in German). 4: 119–136. Kolmogorov...
