Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus
Ingebrigt Johansson (1937)
Compositio Mathematica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: