Title: A visual logic with extensions to set theory
First published: 1995