Strict Finitism and Feasibility

Felice Cardone. Strict Finitism and Feasibility. In Daniel Leivant, editor, Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC 94, Indianapolis, Indiana, USA, 13-16 October 1994. Volume 960 of Lecture Notes in Computer Science, pages 1-21, Springer, 1994.

Abstract

Abstract is missing.