2010, - Ways of Proof Theory, Oitavem,I
NOVA Math
2010, - Ways of Proof Theory, Kahle,R;Setzer,A
2010, Theory of Computing Systems, Cain,AJ;Oliver,G;Ruskuc,N;Thomas,RM
2010, LINEAR & MULTILINEAR ALGEBRA, Fernandes,R
2010, LINEAR & MULTILINEAR ALGEBRA, Fernandes,R
2010, INTERNATIONAL MATHEMATICS RESEARCH NOTICES, Tabuada,G
2010, HOMOLOGY HOMOTOPY AND APPLICATIONS, Tabuada,G
2010, COMMUNICATIONS IN ALGEBRA, Araujo,J;McCune,W
2010, ALGEBRAIC AND GEOMETRIC TOPOLOGY, Tabuada,G
2010, ACTA MATHEMATICA HUNGARICA, Cain,AJ