Holmstrom Empty 1167

Redirected from "type of decidable propositions".
Created on June 10, 2014 at 21:14:54 by Andreas Holmström