Bruno Scarpellini

B.S. · Bruno S.

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Proof Theory and Intuitionistic Systems978-3-54O-O5541-9
(3-54O-O5541-X)
2009

Bruno Schachtner