Lógica proposicional

Por favor! Alguém pode me fornecer ou me indicar um material sobre "Dedução natural em lógica proposicional"? Preciso muito desse assunto! Brigado pela atenção...

www.google.com, se vai achar muita coisa lah...