Circular Proofs for Propositional Gentzen Calculus
DSpace/Manakin Repository
Circular Proofs for Propositional Gentzen Calculus
(2015) Faculty of Humanities Theses
(Bachelor thesis)
Download/Full Text
See more statistics about this item