Jean Fichot
(2010-2019)
XProof-theoretic semantics and feasibility
2014
in: Constructivity and computability in historical and philosophical perspective, Dordrecht : Springer
(2010-2019)
XProof-theoretic semantics and feasibility
2014
in: Constructivity and computability in historical and philosophical perspective, Dordrecht : Springer