Eine bemerkung über Quasirekursive Funktionen

DOI10.1007/BF01982013zbMath0045.00501OpenAlexW2051691029MaRDI QIDQ5808417

Kurt Schütte

Publication date: 1951

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137715

zbMATH Keywords

foundations, philosophy, logic

Related Items (1)

Ein starker Normalisationssatz für die bar-rekursiven Funktionale

This page was built for publication: Eine bemerkung über Quasirekursive Funktionen