2015, Gentzen's Centenary: The Quest for Consistency, Kahle,R;Rathjen,M

2015, Gentzen's Centenary: The Quest for Consistency, Kahle,R

2015, Dynamics, Games and Science, Sousa,T

2015, Unifying the Philosophy of Truth, Kahle,R

2015, ISRAEL JOURNAL OF MATHEMATICS, Araujo,J;Bentz,W;Konieczny,J

2015, JOURNAL OF NONCOMMUTATIVE GEOMETRY, Tabuada,G

2015, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R;da Cruz,HF

2015, MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, Araujo,J;Bentz,W;Mitchell,JD;Schneider,C

2015, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Cain,AJ;Malheiro,A

2015, JOURNAL OF GRAPH THEORY, Liu,H;Pikhurko,O;Sousa,T