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 is missing.