scientific article; zbMATH DE number 3310055

MaRDI QIDQ5590784zbMATH OpenFDO

Authors Alexander Esenin-Volpin

Publication date 1970

zbMATH Keywords

general logic

Cited in

(6)

• Strict finitism, feasibility, and the sorites
• Bounded arithmetic, proof complexity and two papers of Parikh
• Strict finitism and feasibility
• Hypercomputation by definition
• $$\boldsymbol{\forall }$$ and $$\boldsymbol{\omega }$$
• Applying, extending, and specializing pseudorecursiveness

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5590784)