The dependence and independence of quantifiers

truth, proof and choice functions

Paul-Gabriel Sandu

pp. 49-72


This document is unfortunately not available for download at the moment.

Not implemented yet !