I am looking for books to read, so as to dive into mathematical logical and related disciplines like set theory, model theory, and topos theory.
I have a decent background in category theory and algebra, analysis, topology, etc. but little in explicit logic or set theory aside from the first chapter of Munkres.
Any suggestions? I am interest in topics such as para-consistency, computability, and ill-founded logics.