Jean Fichot
3 Publications
Proof-theoretic semantics and feasibility
2014
in: Constructivity and computability in historical and philosophical perspective, Berlin,
Gödel, constructivity, impredicativity, and feasibility
2008
in: One hundred years of intuitionism (1907–2007), Berlin,
Truth, proofs and functions
2003
Synthese 137
3 Publications