ML-1994-07: Logic of Proofs with Complexity Operators

ML-1994-07: Artëmov, Sergei and Chuprina, Artëm (1994) Logic of Proofs with Complexity Operators. [Report]

Text (Full Text) ML-1994-07.text.ps.gz Download (108kB)

Item Type:	Report
Report Nr:	ML-1994-07
Series Name:	Mathematical Logic and Foundations (ML)
Year:	1994
Date Deposited:	12 Oct 2016 14:40
Last Modified:	12 Oct 2016 14:40
URI:	https://eprints.illc.uva.nl/id/eprint/1353

Actions (login required)

View Item