Keyword:Gentzen proof of completeness

Publications
EasyChair Preprint 3387