Architecture of Proof

Deteriminstic systems for a probabilistic world.