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