Thomas Studer

ספרים שבהם Thomas Studer מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Advances in Proof TheoryReinhard Kahle

Advances in Proof Theory

Reinhard Kahle · 2016