INFORMATION AND LOGICAL MODEL OF PROOF FORMATION · Study