DescriptionCocoon concertina square graph; matrix sketches.svg Implications between statements with two variables in first-order logic, represented by sketches of...
DescriptionCocoon concertina square graph; matrix sketches (deutsch).svg Implikationen zwischen Sätzen der Prädikatenlogik mit zwei Variablen, repräsentiert...
DescriptionCocoon concertina square graph; negations; matrix sketches.svg Negations of formulas in Date 2013 Source Own work Author Permission (Reusing...