Lambdia

A string diagram calculus for predicate logic

No articles

No questions in this category yet — they're coming.