E' più complicato di così infatti; sì, c'è un libro che potresti leggere, la monografia in due volumi di Tourlakis:
https://www.amazon.com/Lectures-Logic-S ... 0521168465 dove l'inteo primo volume costruisce la logica necessaria, poi, a fare teoria degli insiemi nel secondo.