Opening book details…
Quantifiers in by Anastasia Tkachenko is a document available to read on EtoBox.