Wolfram Pohlers

Wolfram Pohlers

4 ספרים במאגר

ספרים

Proof theoryWolfram Pohlers

Wolfram Pohlers · 1990

Proof TheoryWolfram Pohlers

Wolfram Pohlers · 2009

Proof TheoryWolfram Pohlers

Wolfram Pohlers · 2002

Mathematische Grundlagen der InformatikWolfram Pohlers

Mathematische Grundlagen der Informatik

Wolfram Pohlers · 1993

ספרים משותפים ואוספים

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

Logic Colloquium '02Logic Colloquium '02 (2002 Münster, Germany)

Logic Colloquium '02

Logic Colloquium '02 (2002 Münster, Germany) · 2006