Gib es angewandte Mathematik, so auch angewandte Logik. Nun wie schaut angewandte Logik aus?