You are on page 1of 2

Gentzen's System

A Deduction Based Proof System

Syntax