Essays on Mathematical and Philosophical Logic