Lógica Formal: Lógica proposicional, lógica de predicados, lógica modal e lógicas não clássicas | Myboeken