Book

Operators vs Quantifiers

by Max Kölbel, David Rey