Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus
Ingebrigt Johansson (1937)
Compositio Mathematica
Similarity:
Ingebrigt Johansson (1937)
Compositio Mathematica
Similarity:
Paul Lorenzen (1962)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Günter Hotz (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Hans Freudenthal (1938)
Compositio Mathematica
Similarity:
H. Jürgensen, M. Kunze (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Johannes M. Ebersold (1954-1956)
Compositio Mathematica
Similarity:
Stefan Cohn-Vossen (1936)
Compositio Mathematica
Similarity: