Luis Estrada-González
2016
in: Logical studies of paraconsistent reasoning in science and mathematics, Dordrecht : Springer
From (paraconsistent) topos logic to universal (topos) logic
2015
in: The road to universal logic II, Basel : Birkhäuser
2016
in: Logical studies of paraconsistent reasoning in science and mathematics, Dordrecht : Springer
From (paraconsistent) topos logic to universal (topos) logic
2015
in: The road to universal logic II, Basel : Birkhäuser