Olkhovikov, Grigory K.; Schroeder-Heister, Peter(2014); Wissenschaftlicher Artikel; Second Pisa Colloquium in Logic, Language and Epistemology. Ed. by Enrico Moriconi and Laura Tesconi. Pisa: Edizioni ETS 2014, pp. 245-287
Schroeder-Heister, Peter(2014); Wissenschaftlicher Artikel; Trends in Logic XIII. Gentzen's and Jaśkowski's Heritage. 80 Years of Natural Deduction and Sequent Calculi. Ed. by Andrzej Indrzejczak, Janusz Kaczmarek and Michał Zawidzki. Łódż University Press 2014, pp. 5-15
Schroeder-Heister, Peter(2015); Wissenschaftlicher Artikel; Why is this a Proof? Festschrift for Luiz Carlos Pereira. Ed. by Edward Hermann Haeusler, Wagner de Campos Sanz & Bruno Lopes. London: College Publications 2015, pp. 159-176