Graphical Regular Logic: the complete 2-dimensional picture

Authors

tslil clingman

Brendan Fong

David I. Spivak