DigiZeitschriften - Das deutsche digitale Zeitschriftenarchiv

Das deutsche digitale Zeitschriftenarchiv

deutsch
You are here:
Table of Contents
Free access
Archiv für mathematische Logik und Grundlagenforschung
Archiv für mathematische Logik und Grundlagenforschung
Title page-PDF
Table of contents1PDF
dedication3PDF
Der Aufbau einer höheren Logik.Wilhelm Ackermann5PDF
Semantische Begründung der derivativen Implikationslogik.E.W. Beth23PDF
Two Examples of Algorithms.Haskell B. Curry29PDF
Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten...Kurt Schütte45PDF
A Simplified Nomalization of Predicate Logic with Identity.ALFRED TARSKI61PDF
On Tarski's Formalization of Predicate Logic with Identity.R. Montague; D. Kalish81PDF
Substitutionless Predicate Logic with Identity.Donald Monk102PDF
A Remark on Equational Completeness.H. Ribeiro; R. Schwabauer122PDF
A Note Concerning the Rules of Inference for Quantifiers.Roman Suszko124PDF
Ein neuer Beweis für die Entscheidbarkeit des einstelligen Prädikatenkalküls mi...Ronald Björn Jensen128PDF
Darstellungen der (im Kalmar-Csillag'schen Sinne) elementaren Funktionen.Dieter Rödding139PDF
DigiZeitschriften is supported by Deutsche Forschungsgemeinschaft