Simultane Rekursionen in der Theorie der Funktionale endlicher Typen

Authors:

Publisher website

1 March 1971

journal article
Published by Springer Nature in Archive for Mathematical Logic

Vol. 14 (1) , 69-74
DOI:10.1007/bf01974150

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics
1962
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes
Dialectica, 1958