The Work Un cálculo deductivo para la lógica de segundo orden The details The Author Jesús Mosterín The offers