Yvon Gauthier
(2010-2019)
XA note on the internal logic of constructive mathematics
2015
in: The road to universal logic II, Basel : Birkhäuser
(2010-2019)
XA note on the internal logic of constructive mathematics
2015
in: The road to universal logic II, Basel : Birkhäuser