António M. Fernandes

Publication Activity (10 Years)

Years Active: 2002-2010
Publications (10 Years): 0

Publications

António M. Fernandes
-reflection in bounded arithmetic. Arch. Math. Log. 49 (1) (2010)
António M. Fernandes, Fernando Ferreira
Groundwork for Weak Analysis. J. Symb. Log. 67 (2) (2002)