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.
Displaying similar documents to “Zurückführung des Entscheidungsproblems auf den Fall von Formeln mit einer einzigen, binären, Funktionsvariablen”
Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus
Über die Drehung der Tangenten und Sehnen ebener Kurven
Heinz Hopf (1935)
Compositio Mathematica
Similarity:
Über die implementierung redundanzfreier Codes zur datenverschlüsselung
H. Jürgensen, M. Kunze (1986)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Über beschränkte Potenzreihen I
Werner Rogosinski (1938)
Compositio Mathematica
Similarity:
Zur Methode der stationären Phase. Zweite Mitteilung Wiederum einfache Integrale
J. G. Van der Corput (1936)
Compositio Mathematica
Similarity:
Über meromorphe Funktionen von zwei komplexen Veränderlichen
Stefan Bergmann (1939)
Compositio Mathematica
Similarity:
Verschränkte homomorphismen formaler sprachen
Günter Hotz (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: