Anmerkungen zum Rekursionstheorem.
Klemens Döpp (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Zum Repräsentantenproblem der Logik für Aussagenfunktionen mit beliebig endlich oder unendlich vielen Wahrheitswerten”
Anmerkungen zum Rekursionstheorem.
Über Polynomzerlegung mit endlich vielen Schritten.
Wolfgang Krull (1953/54)
Mathematische Zeitschrift
Similarity:
Mehrsortige logische Systeme mit unendlich langen Formeln I.
Werner Carstengerdes (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Über Primpolynomzerlegung in endlich vielen Schritten.
Günter Mitas (1957)
Journal für die reine und angewandte Mathematik
Similarity:
Über die Reihendarstellung implizit gegebener Funktionen von endlich oder unendlich vielen Veränderlichen
H. Schmidt (1936)
Mathematische Zeitschrift
Similarity:
Mehrsortige logische Systeme mit unendlich langen Formeln II.
Werner Carstengerdes (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Über Polynomzerlegung mit endlich vielen Schritten. II.
Wolfgang Krull (1953/54)
Mathematische Zeitschrift
Similarity:
Die Vollständigkeit der verzweigten Typenlogik mit unendlicher Terminduktion.
M.H. Löb (1967)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Neutraler technischer Fortschritt und Produktionsfunktionen mit beliebig vielen Produktionsfaktoren - Gehring, W.
G. Erber (1977)
Metrika
Similarity:
Über Polynomzerlegung mit endlich vielen Schritten. III.
Wolfgang Krull (1954)
Mathematische Zeitschrift
Similarity:
Über die Zerlegbarkeit von flächentreu aufeinander abgebildeten Gebieten in unendlich kleine, paarweise kongruente Teile
M., Lagally (1920)
Mathematische Zeitschrift
Similarity:
Zum Entscheidungsproblem der mathematischen Logik
P. Bernays, M. Schönfinkel (1928)
Mathematische Annalen
Similarity: