Topos semantics for higher-order modal logic [thesis]

Hans-Christoph Kotzsch
2016
doi:10.5282/edoc.20405 fatcat:3qqyawgmrvdttl5ugp7mgx5afe