Expositions

Elements of Bayesian Decision Theory (e-book)

A detailed introduction to classical subjective decision and probability theory including the works of Ramsey, von Neumann &  Morgenstern, Anscombe & Aumann, and Savage.

Incompleteness Results and Provability Logic

A condensed introduction to Gödel’s incompleteness results, the Löb theorem, and the arithmetical completeness theorems of Solovay.