
This book is concerned with the formal definition of universal quantification. The central claim advanced here is that the formal definition of EVERY, which stands for any distributive universal quantifier, ought to incorporate a skolem function to capture the paired reading...