[pt] ALFRED TARSKI: CONSEQÜÊNCIA LÓGICA, NOÇÕES LÓGICAS E FORMAS LÓGICAS - STEFANO DOMINGUES STIVAL (2004)