Mathematical Logic (Math 570) Lecture Notes

logic has now taken on a life of its own, and also thrives on many interactions with other areas of mathematics and computer science. In the second half of the last century, logic as pursued by mathematicians gradually branched into four main areas: model theory, computability theory (or recursion theory), set theory, and proof theory. ................
................