Lars Kristiansen

• A Friendly Introduction to Mathematical Logic