This document is unfortunately not available for download at the moment.
Arnold Koslow, Arthur Buchsbaum (2015) The road to universal logic I: Festschrift for 50th birthday of Jean-Yves Béziau, Basel, Birkhäuser.
The move from one to two quantifiers
Wilfrid Hodges
pp. 221-240
Not implemented yet !