Ferreirós (2001) surveys the rise of first-order logic over other formal logics in the early 20th century.
Ο Ferreirós (2001) μελετά την επικράτηση της λογικής πρώτου βαθμού επί των άλλων τυπικών λογικών του πρώιμου 20ού αιώνα.