GRAPHSCHEMATA UND REKURSIVE FUNKTIONEN

DOI10.1111/J.1746-8361.1958.TB01470.XzbMath0154.25701OpenAlexW2023178328MaRDI QIDQ5534920

R. Politzer

Publication date: 1958

Published in: dialectica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1746-8361.1958.tb01470.x

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (3)

A survey of state vectors ⋮ The Developments of the Concept of Machine Computability from 1936 to the 1960s ⋮ Péter on Church's thesis, constructivity and computers

This page was built for publication: GRAPHSCHEMATA UND REKURSIVE FUNKTIONEN