LOG310 H19 Logikens historia, metodologi och tillämpningar