Valentin Shehtman

• Quantification in Nonclassical Logic