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