Yazar
stanley s wainer
3 cilt bulundu.
Cilt sonuçları
Proofs and Computations (Perspectives in Logic)
Helmut Schwichtenberg, Stanley S. Wainer · Cambridge University Press
480 sayfa · 2012
Computable functions / Proof theory / Logic, symbolic and mathematical
Proof Theory
Peter Aczel, Harold Simmons, Stanley S. Wainer · Cambridge University Press
320 sayfa · 2008
Proof theory