User menu

Denotations for Classical Proofs - Preliminary-results

Bibliographic reference Degroote, P.. Denotations for Classical Proofs - Preliminary-results. In: Lecture Notes in Computer Science, Vol. 620, p. 105-116 (1992)
Permanent URL http://hdl.handle.net/2078.1/49692