mathematical-logic

mathematical-logic

A Friendly Introduction to Mathematical Logic  by Christopher C. Leary, Lars Kristiansen free book