Foundations of Computing: System Development With Set Theory and Logic (International Computer Science Series) by Thierry Scheurer | Menrva Books