Axiomatisierung der k-zahlig allgemeingültigen Ausdrücke des Stufenkalküls.Dem Andenken an Hermann Ludwig Schmid gewidmet

Zur Axiomatisierung der k-zahlig allgeme

Zur Axiomatisierung der k-zahlig allgemeingültigen Ausdrücke des Stufenkalküls

✍ Gisbert Hasenjaeger 📂 Article 📅 1958 🏛 John Wiley and Sons 🌐 English ⚖ 170 KB

ZUR AXIOMATISIERUNG DER k-ZAHLIG ALLGEMEINGfjLTIGEN AUSDRUCKE DES STUPENKALKULS Von GISBERT HASENJAEGER in Miinster i. W G. ASSER und K. SCHROTER haben gezeigt,l) da13 die (entscheidbare !) Menge der k-zahlig giiltigen Ausdriicke des einstelligen Stufenkalkuls (k < N,,) axiomatisiert ist durch ein A