Logic, Computation and Rigorous Methods - Klaus-Dieter Schewe - E-bok | Bokus