El descubrimiento de Harry: novela de lógica formal - Lipman, Matthew 1922-2010