Logic From Russell To Church by John Woods & Professor Dov M. Gabbay