More on Gentzen Systems
In § 1 of this chapter, we discuss Gentzen’s Extended Hauptsatz. In § 2 we establish anew form of this extension which does not appeal to prenex normal form. In § 3 we consider some variants of Gentzen systems which will play a key role in all 3 subsequent chapters.
Unable to display preview. Download preview PDF.