John C. Shepherdson
-
Finite state evaluation of logical formulas: Jevons' approach (1870) and contemporary description
Acta Cybernetica