Some Results on Ordered Structures in Toposes
(Luís A. Sbardellini, Marcelo E. Coniglio)
Published: 2017-08-25