Logic of Proofs with the Strong Provability Operator | Institute for Logic, Language and Computation

Mathematical Logic and Foundations (ML) Series (1988-1998)

ML-1994-10:: Elena Nogina Logic of Proofs with the Strong Provability Operator
1.Full Text, 2.Abstract.

Back