Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus
Ingebrigt Johansson (1937)
Compositio Mathematica
Similarity:
Ingebrigt Johansson (1937)
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:
Werner Rogosinski (1938)
Compositio Mathematica
Similarity:
J. G. Van der Corput (1936)
Compositio Mathematica
Similarity:
Stefan Bergmann (1939)
Compositio Mathematica
Similarity:
Günter Hotz (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: