A Monadic Logic for Capacity Quantifiers Master's Project Finite Model Property of S5 UH Logic Seminar Probability Logic UH Logic Seminar The Alpha Theory Class Project Formalizing Some Results Related to Ordered and Unordered Pairs Class Project Skolem's Problem of Exponential Functions Class Project Surreal Numbers Class Project Parking Functions and Labelled Trees Class Project
