On machines which prove theorems. Simon Stevin: Wis- en Natuurkundig Tijdschrift (1958)

by E W Beth