Lançamentos por Bod, Rens (Professor at the Institute for Logic, Language, and Computation,, Professor at the Institute for Logic, Language, and Computation,, University of Amsterdam)