Sets, Relations, and Probability
Elements of Bayesian Decision Theory
A detailed introduction to classical Bayesian subjective decision and probability theory including the works of Ramsey, von Neumann & Morgenstern, Anscombe & Aumann, and Savage.
Incompleteness Results and Provability Logic
This notes reflects the early development of provability logic. It includes an exposition on Gödel’s incompleteness results, the Löb theorem, and the arithmetical completeness theorems of Solovay.