Teoria della dimostrazione intuizionista e dimostrazione automatica