Topics in Subset Space Logic by Can Baskent