Sunteți pe pagina 1din 1

For my work in this area, I refer to : Richard Epstein "Classical Mathematical Logic" Wolfgang Rautenberg "A Concise Introduction

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.

S-ar putea să vă placă și