Formal logic and linguistics by Zierer