Quantification In Nonclassical Logic door Dimitrij Skvortsov & Professor Dov M. Gabbay