Topics in Subset Space Logic door Can Baskent