Types, Tableaus, and Gödel’s God - häftad, Engelska, 2012