Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus
Ingebrigt Johansson (1937)
Compositio Mathematica
Similarity:
Ingebrigt Johansson (1937)
Compositio Mathematica
Similarity:
Günter Hotz (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
H. Jürgensen, M. Kunze (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Heinz Schilt (1938)
Compositio Mathematica
Similarity:
Heinz Hopf (1935)
Compositio Mathematica
Similarity:
H. Jürgensen, M. Kunze (1986)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Haupt, Otto (1954)
Portugaliae mathematica
Similarity:
László Kalmár (1937)
Compositio Mathematica
Similarity: