scientific article; zbMATH DE number 3310055
From MaRDI portal
Publication:5590784
zbMath0195.01202MaRDI QIDQ5590784
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Applying, extending, and specializing pseudorecursiveness ⋮ STRICT FINITISM, FEASIBILITY, AND THE SORITES ⋮ Strict finitism and feasibility ⋮ Hypercomputation by definition ⋮ $$\boldsymbol{\forall }$$ and $$\boldsymbol{\omega }$$ ⋮ Bounded arithmetic, proof complexity and two papers of Parikh
This page was built for publication:
