Lógica formal: Lógica proposicional, lógica de predicados, lógica modal y lógicas no clásicas | Myboeken