Logica computacional

Alguno sabe donde me puedo bajar algun manual de logica computacional? es que he estao buscando y no encuentro na, xD

kreo ke no existen muchos manuales! de logika komputacional, pero tengo por alli uno deja lo enkuentro y lo tendras!