Kahle, Reinhard.

Overview

Works:	1 works in 2 publications in 1 languages

Titles

Advances in proof theory[electronic resource] / by: Kahle, Reinhard.; SpringerLink (Online service); Strahm, Thomas.; Studer, Thomas. (Language materials, printed)

Gentzen's centenary[electronic resource] :the quest for consistency / by: Gentzen, Gerhard.; Kahle, Reinhard.; Rathjen, Michael.; SpringerLink (Online service) (Language materials, printed)

Subjects