Robuta

https://personalpages.manchester.ac.uk/staff/Marcus.Tressl/teaching/MathematicalLogic/index.php Mathematical Logic (MATH33021) mathematical logic