2 ms·Great introduction to the intersection of computation, logic, math, language and philosophy.by nathias 6y agoGreat introduction to the intersection of computation, logic, math, language and philosophy.