ML-1994-07: Sergei Artëmov, Artëm Chuprina Logic of Proofs with Complexity Operators 1.Full Text. < Back
