Comment by unknown_apostle

What are good introductory books for logic (classical and intuitionistic)? For category theory? Do you know any similar representation of paraconsistent logic?