Documente Academic
Documente Profesional
Documente Cultură
to Mathematical Logic" Jon Barwise "Handbook of Mathematical Logic" Jean Heijenoort "From Frege to Gdel" We Li "Mathematical Logic" Rautenberg has a lot of examples, exercise, but is very heavy going (at least fo r me). Epstein is fairly recent and very well laid out. Barwise is the most comp rehensive for when you need to deep dive.