Logic as machine complexity relations between programs and formulae - Börger, Egon (1985)