This book traces the development of formal logic from its origins in ancient Greece to the present day. The authors first discuss the work of logicians from Aristotle to Frege, showing how they were influenced by the philosophical or mathematical ideas of their time. They then examine developments in the present century.

W. Kneale; VI—Time and Eternity in Theology, Proceedings of the Aristotelian Society, Volume 61, Issue 1, 1 June 1961, Pages 87–108, https://doi.org/10.1093/ari.