Circular Proofs for Propositional Gentzen Calculus
DSpace/Manakin Repository
Circular Proofs for Propositional Gentzen Calculus
Kasteel, S.R. van
(2015) Faculty of Humanities Theses
(Bachelor thesis)
Download/Full Text
Open Access version via Utrecht University Repository
See
more statistics
about this item