Stanisław Jaśkowski and natural deduction systems

2018

Andrzej Indrzejczak

in: The Lvov-Warsaw school, Berlin,

The historical sources of tree graphs and the tree method in the work of Peirce and Gentzen

2016

Irving H. Anellis, Francine F. Abeles

in: Modern logic 1850-1950, East and West, Basel,

In the shadow of incompleteness

Hilbert and Gentzen

2012

Wilfried Sieg

in: Epistemology versus ontology, Berlin,

Weak implicational logics related to the Lambek calculus

Gentzen versus Hilbert formalisms

2009

Wojciech Zielonka

in: Towards mathematical philosophy, Berlin,

Proofs as efficient programs

2008

Ugo Dal Lago, Simone Martini

in: Deduction, computation, experiment, Berlin,

De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege

2005

Pierre Cassou-Noguès

Philosophia Scientiae 9 (2)

Rereading Gentzen

2003

Jan von Plato

Synthese 137

Jaśkowski and Gentzen approaches to natural deduction and related systems

1998

Andrzej Indrzejczak

in: The Lvov-Warsaw school and contemporary philosophy, Berlin,

Le théorème fondamental de Gentzen

1951

Jean Ladrière

Revue philosophique de Louvain 49 (23)