Fernando Ferreira

The abstract type of the real numbers

Fernando Ferreira, 2021, Arch. Math. Log..

The Co-ordination Principles: A Problem for Bilateralism

Fernando Ferreira, 2008 .

Polynomial time computable arithmetic

Fernando Ferreira, Fernando Ferreira, 1990 .

Feasible Operations and Applicative Theories Based on ?η

Thomas Strahm, Andrea Cantini, Fernando Ferreira, 2000 .

A note on a result of Buss concerning bounded theories and the collection scheme.

Fernando Ferreira, 1995 .

What are the ∀ Σ b 1-consequences of T 12 and T 22 ?

Fernando Ferreira, Universidade de Lisboa, 2001 .