Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Yavorskaya-Sidon, T.
Volume
Title
239
Negative operations on proofs and labels
Yavorskaya-Sidon, T.
Online