Topology via Logic

---

Topology via Logic is a book written by Steven Vickers, which is a non standard introduction to Topology using Logic.

---

Notes

• Logic of Affirmative and Refutative Assertions
  • Affirmative and Refutative Assertions
• Lindenbaum-Tarski Algebra
• Frames(Algebra)
  • Streams as Frames
  • Streams as Frames Alt

---

MOCs

• Logic
• Topology
• Type Theory

---

References