Marcel Fröhlich<p>Latest purchase - just arrived …</p><p>Topology via Logic</p><p>by Steven Vickers, 1989</p><p>„Topology represents the logic of semidecidable properties.“</p><p><a href="https://mathstodon.xyz/tags/topology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>topology</span></a> <a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mathstodon.xyz/tags/localetheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>localetheory</span></a> <a href="https://mathstodon.xyz/tags/frames" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>frames</span></a> <a href="https://mathstodon.xyz/tags/opensetsAsPropositions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>opensetsAsPropositions</span></a></p><p><a href="https://archive.org/details/topologyvialogic0000stev/mode/2up" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">archive.org/details/topologyvi</span><span class="invisible">alogic0000stev/mode/2up</span></a></p>