Tese de Juan Carlos Agudelo Agudelo

Computação paraconsistente : uma abordagem logica a computação quantica