Stanley S. Wainer

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

Proofs and Computations (Perspectives in Logic)Helmut Schwichtenberg

Proofs and Computations (Perspectives in Logic)

Helmut Schwichtenberg · 2012

Proofs and ComputationsHelmut Schwichtenberg

Proofs and Computations

Helmut Schwichtenberg · 2012

Proof TheoryPeter Aczel

Proof Theory

Peter Aczel · 2008