Sommaire

Der Aufbau einer höheren Logik.

Ackermann, Wilhelm

Access to full text
p. 5-22

Göttinger Digitalisierungszentrum
Semantische Begründung der derivativen Implikationslogik.

Beth, E.W.

Access to full text
p. 23-28

Göttinger Digitalisierungszentrum
Two Examples of Algorithms.

Curry, Haskell B.

Access to full text
p. 29-44

Göttinger Digitalisierungszentrum
Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik.

Schütte, Kurt

Access to full text
p. 45-60

Göttinger Digitalisierungszentrum
A Simplified Nomalization of Predicate Logic with Identity.

Tarski, Alfred

Access to full text
p. 61-80

Göttinger Digitalisierungszentrum
On Tarski's Formalization of Predicate Logic with Identity.

Montague, R. ; Kalish, D.

Access to full text
p. 81-101

Göttinger Digitalisierungszentrum
Substitutionless Predicate Logic with Identity.

Monk, Donald

Access to full text
p. 102-121

Göttinger Digitalisierungszentrum
A Remark on Equational Completeness.

Ribeiro, H. ; Schwabauer, R.

Access to full text
p. 122-123

Göttinger Digitalisierungszentrum
A Note Concerning the Rules of Inference for Quantifiers.

Suszko, Roman

Access to full text
p. 124-127

Göttinger Digitalisierungszentrum
Ein neuer Beweis für die Entscheidbarkeit des einstelligen Prädikatenkalküls mit Identität.

Jensen, Ronald Björn

Access to full text
p. 128-138

Göttinger Digitalisierungszentrum
Darstellungen der (im Kalmar-Csillag'schen Sinne) elementaren Funktionen.

Rödding, Dieter

Access to full text
p. 139-158

Göttinger Digitalisierungszentrum