Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Dashkov, Evgenij
Volume
Title
269
Intuitionistic logic of proofs
Dashkov, Evgenij
Online