Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Heijltjes, W.
Volume
Title
254
Graph rewriting for natural deduction and the proper treatment of variables
Heijltjes, W.
Online