Calculemus!: The problem of the application of logic and mathematics - Scheibe, Erhard (Knowledge organization, 1996)