Propostional proof systems and fast consistency provers door J.J. Joosten