The emergence of first-order logic (1988)

by Gregory H Moore
Venue:History and Philosophy of Modern Mathematics