Mathematics, Logic, and their Philosophies - Mojtaba Mojtahedi; Rahman, Shahid; Zarepour, Mohammad Saleh (Springer International Publishing, 2021)