Logically Speaking

• Sep 18, 2022

  Intro to Type Theory

• Jan 2, 2022

  The State of State

• Aug 10, 2021

  Fortune Cookie Logic

• Jun 2, 2021

  Many Logics

• Mar 22, 2021

  Post for free!

• Mar 16, 2021

  Stacks

• Mar 20, 2020

  Judgements Aren't True

• Mar 20, 2020

  How God is Defined: Gödel, Natural Numbers, and Truth

• Mar 19, 2020

  Introduction